[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Mldonkey-commits] Changes to mldonkey/src/daemon/common/guiTypes.ml
From: |
mldonkey-commits |
Subject: |
[Mldonkey-commits] Changes to mldonkey/src/daemon/common/guiTypes.ml |
Date: |
Sat, 12 Nov 2005 17:53:55 -0500 |
Index: mldonkey/src/daemon/common/guiTypes.ml
diff -u mldonkey/src/daemon/common/guiTypes.ml:1.22
mldonkey/src/daemon/common/guiTypes.ml:1.23
--- mldonkey/src/daemon/common/guiTypes.ml:1.22 Sun Sep 18 19:00:51 2005
+++ mldonkey/src/daemon/common/guiTypes.ml Sat Nov 12 22:53:51 2005
@@ -142,6 +142,7 @@
mutable file_last_seen : int;
mutable file_priority : int;
mutable file_uids : Uid.t list;
+ mutable file_sub_files : (string * int64) list;
}
type user_info = {
@@ -323,5 +324,6 @@
file_last_seen = BasicSocket.last_time ();
file_priority = 0;
file_uids = [];
+ file_sub_files = [];
}
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Mldonkey-commits] Changes to mldonkey/src/daemon/common/guiTypes.ml,
mldonkey-commits <=