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/Exceptions.cpp | |
| parent | ac538a2d1e822d121a604800f9e3877c227e1af4 (diff) | |
Humf...
Diffstat (limited to 'generic/Exceptions.cpp')
| -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); +} |