diff options
author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2004-10-14 11:21:02 +0000 |
---|---|---|
committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2004-10-14 11:21:02 +0000 |
commit | 7086e875ca3e382883f31ef4385044d77c66c035 (patch) | |
tree | 5a46518fb2483b9e2b3e81ebc7940d72257cc85a /configs | |
parent | 8e26e4bf9dacc7854f6e1036672a12bf490f626e (diff) |
Arrange to panic-die if setitimer() ever fails. Version number upped in
readiness for next release.
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions