Thu, 11 Sep 2008 22:22:59 +0200 | wenzelm | cancel, shutdown: notify_all; | changeset | files |
Thu, 11 Sep 2008 22:22:20 +0200 | wenzelm | finish: Future.shutdown last; | changeset | files |
Thu, 11 Sep 2008 21:53:53 +0200 | wenzelm | eliminated requests, use global state variables uniformly; | changeset | files |