# HG changeset patch # User Stiletto # Date 1351024562 -14400 # Node ID 8785de25b6bddbc2f3198dc1e65cfebeb28c758c # Parent dd7a02c6d476794004fa459148d56a27f5820839 Added flush() diff -r dd7a02c6d476 -r 8785de25b6bd muc_log.vala --- a/muc_log.vala Tue Oct 23 23:50:28 2012 +0400 +++ b/muc_log.vala Wed Oct 24 00:36:02 2012 +0400 @@ -25,7 +25,6 @@ } ~RoomLog() { write(Time.local(new time_t()), "logstop", "", "Log stopped"); - file.flush(); } public void write(Time time, string _class, string nick, string str) { @@ -77,6 +76,7 @@ var times = time.format("%H:%M:%S"); file.printf("%s", id, _class, id, id, times); file.printf("%s%s\n", nick, str); + file.flush(); } }