diff options
author | Pixel <Pixel> | 2001-11-29 00:02:20 +0000 |
---|---|---|
committer | Pixel <Pixel> | 2001-11-29 00:02:20 +0000 |
commit | 775011d8a082368e3a41808c1c03115b6b78921e (patch) | |
tree | 32294d4d3450177bdf27dcddcad8d2d603e106d3 /include | |
parent | 0a7f6d0b5935f9794dda8935d37d4238bed3d611 (diff) |
More small changes...
Diffstat (limited to 'include')
-rw-r--r-- | include/Exceptions.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/Exceptions.h b/include/Exceptions.h index 71e2bac..9c87714 100644 --- a/include/Exceptions.h +++ b/include/Exceptions.h @@ -39,6 +39,7 @@ void * xmalloc(size_t) throw (GeneralException); void xfree(void *&); void * xrealloc(void *, size_t); int xpipe(int *, int = 0) throw (GeneralException); +pid_t xfork() throw (GeneralException); // On prédéfinit la classe String, pour éviter // les deadlocks de compilation... @@ -76,6 +77,9 @@ class Base { static int pipe(int * p, int flag = 0) { return xpipe(p, flag); } + static pid_t fork() { + return xfork(); + } }; class GeneralException : public Base { |