[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiUtf8.ml

[mldonkey-commits]

Index: mldonkey/src/gtk2/gui/guiUtf8.ml
diff -u mldonkey/src/gtk2/gui/guiUtf8.ml:1.3 
mldonkey/src/gtk2/gui/guiUtf8.ml:1.4
--- mldonkey/src/gtk2/gui/guiUtf8.ml:1.3        Sat Nov 12 11:16:36 2005
+++ mldonkey/src/gtk2/gui/guiUtf8.ml    Sat Nov 19 17:19:45 2005
@@ -19,6 +19,8 @@
 
 (* Internationalization functions *)
 
+open Printf2
+
 type lang =
   AR
 | HY
@@ -724,8 +726,7 @@
   enc_list := List.filter (fun enc -> enc <> charset) !enc_list;
   enc_list := if (charset <> "UTF-8") then charset::!enc_list else !enc_list;
   List.iter (fun enc ->
-    Printf2.lprintf "Use encoding %s\n" enc; 
-    flush stdout
+    lprintf "Use encoding %s\n" enc
   ) !enc_list;
   nenc := List.length !enc_list