Hi List, is it "normal" that a simple 'kill' won't kill PicoLisp processes, only with option 'KILL it works?
#+begin_quote $ pidof picolisp 1658 1648 1380 1359 $ kill 1359 1380 1648 1658 $ pidof picolisp 1658 1648 1380 1359 $ sudo kill 1359 1380 1648 1658 [sudo] password for ME: $ pidof picolisp 1658 1648 1380 1359 $ kill -KILL 1359 1380 1648 1658 $ pidof picolisp $ #+end_quote -- cheers, Thorsten -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe