Re: kill without 'KILL does not work for PicoLisp processes

2013-07-17 Thread Alexander Burger
Hi Thorsten, is it normal that a simple 'kill' won't kill PicoLisp processes, only with option 'KILL it works? No. A normal kill with SIGTERM (i.e. -15) should work. SIGKILL (i.e. -9) should be used only in extreme emergencies, because it may cause the loss of data (resulting in a corrupted

Re: kill without 'KILL does not work for PicoLisp processes

2013-07-17 Thread Thorsten Jolitz
Alexander Burger a...@software-lab.de writes: Hi Alex, is it normal that a simple 'kill' won't kill PicoLisp processes, only with option 'KILL it works? No. A normal kill with SIGTERM (i.e. -15) should work. SIGKILL (i.e. -9) should be used only in extreme emergencies, because it may

Re: kill without 'KILL does not work for PicoLisp processes

2013-07-17 Thread Rowan Thorpe
On Wed, 17 Jul 2013 09:22:14 +0200 Thorsten Jolitz tjol...@gmail.com wrote: ..[snip].. I ran into this problem when experimenting with the web-framework and my app got into a bad state. When restarting then, PicoLisp tells me something like 'Port is already used', so I tried to kill the

Re: kill without 'KILL does not work for PicoLisp processes

2013-07-17 Thread Thorsten Jolitz
Rowan Thorpe ro...@rowanthorpe.com writes: On Wed, 17 Jul 2013 09:22:14 +0200 Thorsten Jolitz tjol...@gmail.com wrote: ..[snip].. I ran into this problem when experimenting with the web-framework and my app got into a bad state. When restarting then, PicoLisp tells me something like 'Port

Re: kill without 'KILL does not work for PicoLisp processes

2013-07-17 Thread Henrik Sarvell
When developing web apps I keep the code for the server and the rest separate and reload the rest on every request. No need for restarts at all that way. Unless you're actually fiddling with the actual server code, then it can't be helped I suppose... On Wed, Jul 17, 2013 at 3:33 PM, Thorsten

Re: kill without 'KILL does not work for PicoLisp processes

2013-07-17 Thread Thorsten Jolitz
Henrik Sarvell hsarv...@gmail.com writes: Hi Henrik, When developing web apps I keep the code for the server and the rest separate and reload the rest on every request. No need for restarts at all that way. interesting idea, not sure how you actually do that, but would make things smoother

Re: kill without 'KILL does not work for PicoLisp processes

2013-07-17 Thread Rowan Thorpe
On Wed, 17 Jul 2013 16:14:11 +0700 Henrik Sarvell hsarv...@gmail.com wrote: When developing web apps I keep the code for the server and the rest separate and reload the rest on every request. No need for restarts at all that way. Unless you're actually fiddling with the actual server

Re: kill without 'KILL does not work for PicoLisp processes

2013-07-17 Thread Alexander Burger
On Wed, Jul 17, 2013 at 01:28:59PM +0300, Rowan Thorpe wrote: ..for such times (and for those times that you generally can't be so organised), there is the sledgehammer approach - SO_REUSEADDR Why sledgehammer approach? This is quite normal, as I see it. The PicoLisp network functions always

Re: kill without 'KILL does not work for PicoLisp processes

2013-07-17 Thread Rowan Thorpe
On Wed, 17 Jul 2013 12:56:35 +0200 Alexander Burger a...@software-lab.de wrote: On Wed, Jul 17, 2013 at 01:28:59PM +0300, Rowan Thorpe wrote: ..for such times (and for those times that you generally can't be so organised), there is the sledgehammer approach - SO_REUSEADDR Why

Re: kill without 'KILL does not work for PicoLisp processes

2013-07-17 Thread Henrik Sarvell
interesting idea ... Through the http server you can call any PL function, in that function you (load) stuff before doing what you need to do. From the above it kind of follows that I use a single bootstrap/entry/routing function, so I only need to do the loads there and nowhere else. On

kill without 'KILL does not work for PicoLisp processes

2013-07-16 Thread Thorsten Jolitz
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