On 01/09/2014 04:09 PM, Sylvain Joyeux wrote: > On Thursday, January 09, 2014 01:40:59 PM Martin Zenzes wrote: >> Hi, >> >> it happens frequently (at least to me) that some Tasks are not stopped >> (killed) correctly on ruby-script-end. This results in running manually >> selecting the processes to kill. > This usually happens when you CTRL+C repeatedly ... Is that your case ? Ys, I quit my programs/experiments using ctrl-c normally...
Maybe "ruby-script-end" was slightly miss-formulated ;-) -- M.Sc. Martin Zenzes Space Robotics Hauptgeschäftsstelle Standort Bremen: DFKI GmbH Robotics Innovation Center Robert-Hooke-Straße 5 28359 Bremen, Germany Phone: +49 (0) 421 178 45 - 6658 Fax: +49 (0) 421 178 45 - 4150 E-Mail: [email protected] Weitere Informationen: http://www.dfki.de/robotik ----------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH Firmensitz: Trippstadter Straße 122, D-67663 Kaiserslautern Geschaeftsfuehrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 Sitz der Gesellschaft: Kaiserslautern (HRB 2313) USt-Id.Nr.: DE 148646973 Steuernummer: 19/673/0060/3 ----------------------------------------------------------------------- _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
