| commit | 75c6676916398a61201cddcf323529cca2eb0e49 | [log] [tgz] |
|---|---|---|
| author | Florent Xicluna <florent.xicluna@gmail.com> | Tue Mar 30 16:31:14 2010 +0000 |
| committer | Florent Xicluna <florent.xicluna@gmail.com> | Tue Mar 30 16:31:14 2010 +0000 |
| tree | e66dcb78dcd923e68bad6412f7db541d4d5be7fb | |
| parent | 58b6566b0afe561249d4ae910936b14483e81338 [diff] |
#8263: Now regrtest.py will report a failure if it receives a KeyboardInterrupt (SIGINT).