[Mldonkey-commits] Changes to mldonkey/src/daemon/common/commonFile.mli

[mldonkey-commits]

Index: mldonkey/src/daemon/common/commonFile.mli
diff -u mldonkey/src/daemon/common/commonFile.mli:1.10 
mldonkey/src/daemon/common/commonFile.mli:1.11
--- mldonkey/src/daemon/common/commonFile.mli:1.10      Mon Jun 20 18:47:01 2005
+++ mldonkey/src/daemon/common/commonFile.mli   Tue Dec  6 19:34:04 2005
@@ -126,4 +126,6 @@
   CommonTypes.file -> CommonTypes.file -> int64 -> int64 -> int64 -> unit
 val file_files : CommonTypes.file -> CommonTypes.file list
 val propose_filenames : unit -> unit
-val propose_filename : CommonTypes.file -> unit
\ No newline at end of file
+val propose_filename : CommonTypes.file -> unit
+
+val forceable_download : CommonTypes.result_info list ref