Thu, 01 Sep 2011 11:33:44 +0200 | wenzelm | more careful treatment of interrupts, to retain them within forked/joined boundary of command transactions; | changeset | files |
Wed, 31 Aug 2011 22:10:07 +0200 | wenzelm | crude display of node status; | changeset | files |
Wed, 31 Aug 2011 20:47:33 +0200 | wenzelm | explicit cancel_execution before queueing new edits -- potential performance improvement for machines with few cores; | changeset | files |