[Rock-dev] Tool: "orokill"?

[Martin Zenzes]

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: martin.zenzes at dfki.de

  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
  -----------------------------------------------------------------------