Logs: freenode/#xmonad
| 2020-12-24 11:29:39 | <Liskni_si> | mc47: Not really, X carries additional state that is inaccesible from the underlying IO monad |
| 2020-12-24 11:34:09 | <mc47> | Liskni_si that's what I thought too... I went back to try and play with handling sigCHLD, but the action should be an IO, so saving PIDs when spawning and deleting them when we receive sigCHLD seems not (easily) doable |
| 2020-12-24 11:34:44 | <mc47> | At least without looking at unliftio, which I don't think it's what we want to do |
| 2020-12-24 11:38:53 | <Liskni_si> | mc47: well, documentation of installHandler says that the handler is invoked in a new thread, and this X11 stuff isn't really thread-safe, so you shouldn't be doing anything in the handler anyway |
| 2020-12-24 11:39:44 | <Liskni_si> | so the handler should just send a message to the main thread or something |
| 2020-12-24 11:40:03 | <Liskni_si> | not sure if there's an easy to way to do that, tho |
| 2020-12-24 11:40:18 | <Liskni_si> | and no idea what happens in a non-threaded RTS, either |
| 2020-12-24 11:41:17 | <Liskni_si> | it'll probably run on the main thread some time later |
| 2020-12-24 11:41:18 | <mc47> | It kinda feels like too much of a hassle |
| 2020-12-24 11:42:37 | <mc47> | I guess I'll see what we could do the "walk up the parent PIDs" approach |
| 2020-12-24 11:44:31 | <mc47> | Or we could just say "no check, kill them all" because I don't think the edge case of "open xmonad, status bar dies, wait for pids to wrap around, recompile xmonad" is something that would happen :-) |
| 2020-12-24 11:56:08 | <Liskni_si> | agreed |
| 2020-12-24 12:00:52 | <mc47> | Thanks! |
| 2020-12-24 12:09:25 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2020-12-24 12:14:34 | × | ADG1089__ quits (~aditya@122.163.225.112) (Read error: Connection reset by peer) |
| 2020-12-24 12:14:58 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 2020-12-24 12:27:13 | × | ADG1089__ quits (~aditya@122.163.225.112) (Ping timeout: 246 seconds) |
| 2020-12-24 12:38:59 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 2020-12-24 12:39:42 | → | geekosaur joins (ac3a3bff@172.58.59.255) |
| 2020-12-24 12:39:54 | × | ADG1089__ quits (~aditya@122.163.225.112) (Remote host closed the connection) |
| 2020-12-24 12:56:21 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 2020-12-24 13:08:18 | × | geekosaur quits (ac3a3bff@172.58.59.255) (Remote host closed the connection) |
| 2020-12-24 13:12:43 | × | ADG1089__ quits (~aditya@122.163.225.112) (Ping timeout: 246 seconds) |
| 2020-12-24 13:13:19 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 2020-12-24 13:15:08 | × | ADG1089__ quits (~aditya@122.163.225.112) (Remote host closed the connection) |
| 2020-12-24 15:13:46 | → | malook joins (~Thunderbi@5.111.64.247) |
| 2020-12-24 15:19:29 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 15:19:50 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 2020-12-24 15:20:42 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2020-12-24 15:21:21 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 15:22:34 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2020-12-24 15:23:01 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 15:24:35 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2020-12-24 15:25:44 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 15:26:14 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 2020-12-24 15:26:58 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2020-12-24 15:27:36 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 15:30:40 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2020-12-24 15:31:24 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 15:33:00 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2020-12-24 15:33:33 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 15:35:45 | × | malook quits (~Thunderbi@5.111.64.247) (Quit: malook) |
| 2020-12-24 15:39:48 | × | ADG1089__ quits (~aditya@122.163.225.112) (Ping timeout: 256 seconds) |
| 2020-12-24 15:42:47 | → | ADG1089__ joins (~aditya@122.163.225.112) |
| 2020-12-24 15:48:52 | → | malook joins (~Thunderbi@5.111.64.247) |
| 2020-12-24 15:57:03 | × | malook quits (~Thunderbi@5.111.64.247) (Quit: malook) |
| 2020-12-24 16:09:38 | → | qbit2821 joins (~qbit2821@94-255-133-216.cust.bredband2.com) |
| 2020-12-24 16:17:11 | × | ADG1089__ quits (~aditya@122.163.225.112) (Remote host closed the connection) |
| 2020-12-24 16:18:00 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2020-12-24 16:22:53 | → | themc47 joins (~yecinem@business-24-134-226-249.pool2.vodafone-ip.de) |
| 2020-12-24 16:25:28 | × | mc47 quits (~yecinem@89.246.239.190) (Ping timeout: 256 seconds) |
| 2020-12-24 16:40:18 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2020-12-24 16:40:43 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 16:42:08 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2020-12-24 16:42:39 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 16:44:01 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2020-12-24 16:45:27 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 16:46:35 | → | geekosaur joins (ac3a8cd4@172.58.140.212) |
| 2020-12-24 16:47:09 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2020-12-24 16:48:24 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 16:49:47 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2020-12-24 16:50:25 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 16:53:01 | × | qbit2821 quits (~qbit2821@94-255-133-216.cust.bredband2.com) (Ping timeout: 264 seconds) |
| 2020-12-24 16:58:30 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2020-12-24 17:30:02 | → | tux1 joins (~tux@ru1.metahumanvpn.network) |
| 2020-12-24 18:13:18 | → | ADG1089__ joins (~aditya@122.163.239.116) |
| 2020-12-24 18:27:16 | × | ADG1089__ quits (~aditya@122.163.239.116) (Remote host closed the connection) |
| 2020-12-24 18:37:27 | × | tux1 quits (~tux@ru1.metahumanvpn.network) (Quit: WeeChat 2.9) |
| 2020-12-24 18:38:17 | × | al3x27 quits (~plovs@85.254.74.40) (Ping timeout: 265 seconds) |
| 2020-12-24 18:48:43 | × | notis quits (~notis@85.203.44.195) (Read error: Connection reset by peer) |
| 2020-12-24 19:03:31 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2020-12-24 19:04:00 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 258 seconds) |
| 2020-12-24 19:04:56 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 256 seconds) |
| 2020-12-24 19:40:20 | → | al3x27 joins (~plovs@85.254.74.40) |
| 2020-12-24 19:41:20 | × | geekosaur quits (ac3a8cd4@172.58.140.212) (Ping timeout: 245 seconds) |
| 2020-12-24 19:50:24 | → | geekosaur joins (ac3a8f71@172.58.143.113) |
| 2020-12-24 21:34:21 | → | notis joins (~notis@85.203.44.37) |
| 2020-12-24 21:42:38 | × | lally quits (sid388228@gateway/web/irccloud.com/x-eayepbdcoaltcgvr) (Ping timeout: 264 seconds) |
| 2020-12-24 21:42:43 | × | notis quits (~notis@85.203.44.37) (Read error: Connection reset by peer) |
| 2020-12-24 21:45:02 | × | ryjm quits (sid383513@gateway/web/irccloud.com/x-gmeiqgbavlzgqgtv) (Ping timeout: 264 seconds) |
| 2020-12-24 21:45:38 | → | notis joins (~notis@85.203.44.37) |
| 2020-12-24 21:47:01 | → | lally joins (sid388228@gateway/web/irccloud.com/x-sahonvgrjrbzkxrq) |
| 2020-12-24 21:47:20 | → | ryjm joins (sid383513@gateway/web/irccloud.com/x-tmudtbhecwyiwuwc) |
| 2020-12-24 21:49:56 | × | notis quits (~notis@85.203.44.37) (Ping timeout: 240 seconds) |
| 2020-12-24 21:51:59 | → | notis joins (~notis@85.203.44.37) |
| 2020-12-24 22:10:35 | × | geekosaur quits (ac3a8f71@172.58.143.113) (Remote host closed the connection) |
| 2020-12-24 22:11:12 | × | themc47 quits (~yecinem@business-24-134-226-249.pool2.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2020-12-24 22:19:24 | × | rabliatu quits (~quassel@107.158.96.179) (Ping timeout: 260 seconds) |
| 2020-12-24 22:19:30 | → | rabliatu_ joins (~quassel@107.158.96.179) |
| 2020-12-24 23:27:05 | × | rabliatu_ quits (~quassel@107.158.96.179) (Quit: 1) |
| 2020-12-25 00:04:47 | × | notis quits (~notis@85.203.44.37) (Read error: Connection reset by peer) |
| 2020-12-25 00:24:14 | × | al3x27 quits (~plovs@85.254.74.40) (Ping timeout: 260 seconds) |
| 2020-12-25 00:39:19 | → | rabliatu joins (~quassel@107.158.235.92) |
| 2020-12-25 00:40:27 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2020-12-25 01:09:30 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2020-12-25 01:44:30 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2020-12-25 02:07:07 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2020-12-25 03:10:36 | × | theDon quits (~td@94.134.91.70) (Ping timeout: 240 seconds) |
| 2020-12-25 03:12:36 | → | theDon joins (~td@94.134.91.122) |
| 2020-12-25 03:28:00 | × | xaltsc quits (~xaltsc@unaffiliated/xaltsc) (Ping timeout: 272 seconds) |
All times are in UTC.