Lars Noschinski <nosch...@in.tum.de> wrote:
>On 19.10.2011 23:36, Jasmin Christian Blanchette wrote: >> Am 19.10.2011 um 22:34 schrieb Alexander Krauss: >> >>> Does anybody know if there is a straightforward translation of the >error codes 134/137 into English? >> >> Just Google "Unix exit codes". >> >> E.g. 134 = "The job is killed with an abort signal, and you probably >got core dumped", 137 = "The job was killed because it exceeded the >time limit", and 139 = "Segmentatation violation". > >Usually, the exit codes >128 presented to you by the shell are > 128+(nr of signal). When wait()ing on a process, you can also >differentiate between killed by a signal and a program just returning >error codes >128. Cool, thanks. Alex _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev