On Friday, January 10, 2014 10:11:40 AM Martin Zenzes wrote: > 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 ;-) One CTRL+C is fine.
CTRL+C *repeatedly* less so, as it interrupts the script's shutdown sequence. -- Dr. Ing. Sylvain Joyeux Space and Security Robotics Besuchsadresse der Nebengeschäftstelle: DFKI GmbH Robotics Innovation Center Robert-Hooke-Straße 5 28359 Bremen, Germany Postadresse der Hauptgeschäftsstelle Standort Bremen: DFKI GmbH Robotics Innovation Center Robert-Hooke-Straße 1 28359 Bremen, Germany Phone: +49 421 178 45-4136 Zentrale: +49 421 178 45-0 Fax: +49 421 178 45-4150 (Faxe bitte namentlich kennzeichnen) 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
