diff options
author | Pixel <Pixel> | 2002-10-06 18:40:21 +0000 |
---|---|---|
committer | Pixel <Pixel> | 2002-10-06 18:40:21 +0000 |
commit | 63585e0a059b5f86417b36052b0180b8dae0faca (patch) | |
tree | cbf5f199d352e478b0e55d958f3138414293a14c /generic | |
parent | ac538a2d1e822d121a604800f9e3877c227e1af4 (diff) |
Humf...
Diffstat (limited to 'generic')
-rw-r--r-- | generic/Exceptions.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/generic/Exceptions.cpp b/generic/Exceptions.cpp index 510e0a3..1159cdd 100644 --- a/generic/Exceptions.cpp +++ b/generic/Exceptions.cpp @@ -157,3 +157,7 @@ pid_t xfork() throw (GeneralException) { return p; } + +void xexit(int status) throw (GeneralException) { + throw Exit(status); +} |