|
| From: | spiralvoice |
| Subject: | [Mldonkey-users] [patch #4422] win32 goodies |
| Date: | Sat, 17 Sep 2005 11:59:41 +0200 |
| User-agent: | Mozilla/5.0 (X11; U; Linux i686; de-DE; rv:1.7.10) Gecko/20050915 Firefox/1.0.6 |
Follow-up Comment #9, patch #4422 (project mldonkey):
File "src/daemon/common/commonInteractive.ml", line 378, characters 4-17:
Unbound value exit_properly
commonInteractive.ml needs this line:
open CommonBaseGlobals
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/patch/?func=detailitem&item_id=4422>
_______________________________________________
Nachricht geschickt von/durch Savannah
http://savannah.nongnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |