/[mldonkey]/mldonkey/src/daemon/common/guiTypes.ml
ViewVC logotype

Diff of /mldonkey/src/daemon/common/guiTypes.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.22 by spiralvoice, Sun Sep 18 19:00:51 2005 UTC revision 1.23 by spiralvoice, Sat Nov 12 22:53:51 2005 UTC
# Line 142  type file_info = { Line 142  type file_info = {
142      mutable file_last_seen : int;      mutable file_last_seen : int;
143      mutable file_priority : int;      mutable file_priority : int;
144      mutable file_uids : Uid.t list;      mutable file_uids : Uid.t list;
145        mutable file_sub_files : (string * int64) list;
146    }    }
147        
148  type user_info = {  type user_info = {
# Line 323  let file_info_test = Line 324  let file_info_test =
324      file_last_seen = BasicSocket.last_time ();      file_last_seen = BasicSocket.last_time ();
325      file_priority = 0;      file_priority = 0;
326     file_uids = [];     file_uids = [];
327        file_sub_files = [];
328   }   }
329        

Legend:
Removed from v.1.22  
changed lines
  Added in v.1.23

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26