/*
 * $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