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

[mldonkey-commits]

Index: mldonkey/src/gtk2/gui/guiTypes2.ml
diff -u mldonkey/src/gtk2/gui/guiTypes2.ml:1.6 
mldonkey/src/gtk2/gui/guiTypes2.ml:1.7
--- mldonkey/src/gtk2/gui/guiTypes2.ml:1.6      Mon Nov 14 18:25:44 2005
+++ mldonkey/src/gtk2/gui/guiTypes2.ml  Tue Nov 22 17:59:32 2005
@@ -212,16 +212,22 @@
     mutable source_files_requested : int list;             (* file_num *)
   }
 
-type razorback_stats =
+type stat_type =
+  RazorBack
+| FileDonkey
+
+type stat =
   {
-   mutable razorback_file_history      : string;
-   mutable razorback_file_rating       : string;
-   mutable razorback_file_avalaibility : int;
-   mutable razorback_file_completed    : int;
+   stats_file_type         : stat_type;
+
+   mutable stats_file_history      : string;
+   mutable stats_file_rating       : string;
+   mutable stats_file_availability : int;
+   mutable stats_file_completed    : int;
   }
 
 type g_file_info = {
-    g_file_num : int;
+    g_file_num     : int;
     g_file_network : int;
 
     mutable g_file_comment        : string;
@@ -243,7 +249,7 @@
     mutable g_file_priority       : int;
     mutable g_file_uids           : Uid.t list;
 
-    mutable g_file_razorback_stats : razorback_stats option;
+    mutable g_file_stats          : stat list;
   }
 
 type item_info =