/* * $Id: restart.h,v 1.3 2005/08/27 16:23:49 jpinto Exp $ */ #ifndef INCLUDED_restart_h #define INCLUDED_restart_h void restart(char *); void server_reboot(void); #endif