|
| From: | spiralvoice |
| Subject: | [Mldonkey-bugs] [bug #11514] no "save" after "kill"-command |
| Date: | Mon, 9 May 2005 11:42:36 +0000 |
| User-agent: | Mozilla/5.0 (Windows; U; Windows NT 5.0; de-DE; rv:1.7.6) Gecko/20050328 Firefox/1.0.2 (MOOX M2) |
Follow-up Comment #13, bug #11514 (project mldonkey):
With MinGW core CTRL+C does not save ini files and config_files_space.tmp is
not deleted.
Of course it does not because in ./src/config/mingw/mlUnix.ml
let set_signal signal f = ()
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/bugs/?func=detailitem&item_id=11514>
_______________________________________________
Nachricht geschickt von/durch Savannah
http://savannah.nongnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |