| commit | 439eaa9f749ab7168e99fce5c867434d28951946 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Nov 10 00:41:43 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Nov 10 00:41:43 2001 +0000 |
| tree | c8e6dcfb4fc10b432c940b269666e1e6494a38b2 | |
| parent | 94ead57dc3c4f1e3def90bae22bcf24786548af9 [diff] |
Fixed various problems with command-dot handling (some very old): - Don't scan for cmd-. unless in the foreground - Scan before switching out to other processes, not after - don't scan if SchedParams.check_interrupt is false (!) - But: do scan if we're blocked on I/O One problem remains: in the last case KeyboardInterrupt is raised too late.