[Rock-dev] Tool: "orokill"?

[Martin Zenzes]

On 01/10/2014 11:01 AM, Sylvain Joyeux wrote:
> 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.
yeah... Will try to watch my behaviour. Sometimes it might actually 
happen that ctrl-c is issued multiple times...

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