diff options
Diffstat (limited to 'viengoos/server.h')
-rw-r--r-- | viengoos/server.h | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/viengoos/server.h b/viengoos/server.h new file mode 100644 index 0000000..e64ff14 --- /dev/null +++ b/viengoos/server.h @@ -0,0 +1,27 @@ +/* server.h - Server loop interface. + Copyright (C) 2007 Free Software Foundation, Inc. + Written by Neal H. Walfield <neal@gnu.org>. + + This file is part of the GNU Hurd. + + The GNU Hurd is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License as + published by the Free Software Foundation; either version 3 of the + License, or (at your option) any later version. + + The GNU Hurd is distributed in the hope that it will be useful, but + WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see + <http://www.gnu.org/licenses/>. */ + +#ifndef RM_SERVER_H +#define RM_SERVER_H + +/* Begin serving requests. Never returns. */ +extern void server_loop (void) __attribute__ ((noreturn)); + +#endif |