- Sep 15, 2017
-
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Joseph Weston authored
If Future.cancel() returns False this does *not* mean that the cancellation failed, so we should not check for this. Instead we just cancel all the outstanding futures and wait for them to die.
-