beneroth changed the topic of #picolisp to: PicoLisp language | The scalpel of software development | Channel Log: https://libera.irclog.whitequark.org/picolisp | Check www.picolisp.com for more information
Guest58 has quit [Quit: Client closed]
rob_w has joined #picolisp
rob_w has quit [Ping timeout: 260 seconds]
beneroth_ has joined #picolisp
beneroth has quit [Read error: Connection reset by peer]
tankf33der has joined #picolisp
<tankf33der> hi all
<tankf33der> my usual irc client still does not work
<tankf33der> i have to use temp solution
<tankf33der> abu[7]: have 5min again?
<abu[7]> Sure :)
<tankf33der> i have a picolisp script running in cron
<tankf33der> it run exec every 1m, but works 5min
<tankf33der> how to implement reentrace protection and exit if already running ?
<abu[7]> You could use some file
<tankf33der> just file in .pil/ dir ?
<abu[7]> Yes. Or perhaps even better use acquire / release ?
<tankf33der> how to protect then from crash first process and acquire will never be executed ?
<abu[7]> With some file, in ~/.pil is best, yes
<tankf33der> :/
<tankf33der> use *Bye ?
<abu[7]> Yes
<tankf33der> ok. thanks.
<abu[7]> Or: How about calling 'pgrep'?
<abu[7]> I.e. no special file
<tankf33der> also ok
<abu[7]> That's cleaner I think
<tankf33der> pgrep -f start.l
<tankf33der> yea, works
<abu[7]> 😎
<abu[7]> (when (call "pgrep" ...) (bye)) ?
<tankf33der> sure.
<abu[7]> Perhaps better is (call "pkill" "-0" ...
<abu[7]> It does not echo anything
<tankf33der> thanks. see you.
tankf33der has quit [Quit: Client closed]
rob_w has joined #picolisp
rob_w has quit [Remote host closed the connection]
beneroth_ has quit [Ping timeout: 268 seconds]
abu[7] has left #picolisp [#picolisp]
abu[7] has joined #picolisp
abu[7] has quit [Read error: Connection reset by peer]
abu[7] has joined #picolisp
pablo_escoberg has joined #picolisp
alexshendi has joined #picolisp
z4k4ri4 has quit [Ping timeout: 255 seconds]
z4k4ri4 has joined #picolisp
alexshendi has quit [Read error: Connection reset by peer]
alexshendi has joined #picolisp
alexshe70 has joined #picolisp
alexshendi has quit [Ping timeout: 268 seconds]
alexshe70 has quit [Read error: Connection reset by peer]
alexshendi has joined #picolisp
alexshe51 has joined #picolisp
alexshendi has quit [Ping timeout: 245 seconds]
pablo_escoberg has quit [Ping timeout: 250 seconds]
chexum has quit [Remote host closed the connection]
chexum has joined #picolisp