Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2013-12-15

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:00 drostie joined #darcs
02:29 mizu_no_oto joined #darcs
02:48 stepkut joined #darcs
03:08 _ilbot joined #darcs
03:08 Topic for #darcs is now http://darcs.net/ | logs: http://irclog.perlgeek.de/darcs/ | darcs 2.8.4 is out http://darcs.net/Releases/2.8
04:00 mizu_no_oto joined #darcs
04:03 sm pointfree-x60: removed your lock
04:04 sm and yes, that does hang around too long
04:04 sm another clunky workaround is to recreate the repo on hub
04:06 preflex_ joined #darcs
04:12 mizu_no_oto joined #darcs
04:17 stepkut joined #darcs
04:20 favonia joined #darcs
04:26 arpunk_ joined #darcs
07:18 favonia joined #darcs
07:56 arpunk joined #darcs
09:34 lelit joined #darcs
10:02 mornfall sm: the actual fix would be to use fcntl, I guess?
10:02 mornfall (that'd be cleaned up by the OS even if darcs dies a violent death)
10:12 notdan yeah having a lock that is not removed upon (async) exception is a bug, I think
10:24 donri joined #darcs
10:45 amgarchIn9 joined #darcs
10:58 amgarchIn9 joined #darcs
11:55 amgarchIn9 joined #darcs
12:55 arpunk_ joined #darcs
13:28 mizu_no_oto joined #darcs
14:11 pointfree-w530 Thanks sm
14:15 amgarchIn9 joined #darcs
14:24 mizu_no_oto joined #darcs
14:38 amgarchIn9 joined #darcs
15:59 whaletechno joined #darcs
16:24 amgarchIn9 joined #darcs
16:45 mizu_no_oto joined #darcs
16:59 amgarchIn9 joined #darcs
17:11 donri joined #darcs
18:22 sm mornfall: would that be done in darcs, darcsden-ssh, or in how I run the darcsden-ssh server ?
18:23 mornfall in darcs
18:24 mornfall on the other hand, if you kill darcs in darcsden-ssh on HUP, you could also clean up locks
18:30 sm patches in this area would be most welcome for hub users
18:45 k00mi joined #darcs
19:27 whaletechno joined #darcs
19:53 mizu_no_oto joined #darcs
19:57 favonia joined #darcs
20:53 donri joined #darcs
21:56 favonia joined #darcs
22:13 stepkut joined #darcs
22:41 favonia joined #darcs
23:03 raichoo joined #darcs
23:28 mizu_no_oto joined #darcs
23:54 mornfall joined #darcs

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary