Activity
From 04/27/2016 to 05/26/2016
05/26/2016
- 02:36 PM Feature #2550: synchronized priority_queue
- Okay that idea won't work that easily since queue and priority_queue have different names for the access of the first...
- 01:50 PM Feature #2550 (New): synchronized priority_queue
- It would be cool to have a priority_queue variant of the SynchronizedQueue<M>.
I didn't think this through but may...
04/27/2016
- 12:10 PM Enhancement #2538 (New): Include SIGHUP in signal handling code
- In case a terminal is closed, running processes receive SIGHUP. Therefore we should also handle this signal type.
Also available in: Atom