[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Mldonkey-bugs] [bug #10957] unshare/share with different priority not w
From: |
spiralvoice |
Subject: |
[Mldonkey-bugs] [bug #10957] unshare/share with different priority not working |
Date: |
Sat, 23 Apr 2005 14:43:05 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; de-DE; rv:1.7.7) Gecko/20050417 Firefox/1.0.3 |
Follow-up Comment #1, bug #10957 (project mldonkey):
This code was commented out in driverCommands.ml:
(* else
if not (List.mem (arg, prio) !!shared_directories) then begin
shared_directories =:= (arg, prio) :: List.remove_assoc arg
!!shared_directories;
shared_add_directory (arg, prio);
"prio changed"
end *)
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/bugs/?func=detailitem&item_id=10957>
_______________________________________________
Nachricht geschickt von/durch Savannah
http://savannah.nongnu.org/
- [Mldonkey-bugs] [bug #10957] unshare/share with different priority not working,
spiralvoice <=