Ethan Atkins ab362397ba Add remote cancellation support ... This commit makes it possible for a remote client to cancel a running task initiated by a different client by typing `cancel` into the shell. It can be useful if the remote client has run something blocking like console. The console task can't safely be interrupted, so instead we write some newlines filed by ctrl+d to exit the console.		2020-06-24 19:40:17 -07:00
..
src	Add remote cancellation support	2020-06-24 19:40:17 -07:00
NOTICE	move modules around.	2015-08-20 00:59:57 -04:00