/*
 * $Id: debug.h,v 1.1 2005/06/13 20:50:52 murrayma Exp $
 *
 * Last modified: Sun Nov  3 19:47:34 1996 fingon
 *
 */

#ifndef DEBUG_H
#define DEBUG_H
#ifndef DOCHECK
#define DOCHECK(a,b) if (a) { notify(player, b); return; }
#endif
void debug_allocfree(dbref key, void **data, int selector);
void debug_list(dbref player, void *data, char *buffer);
void debug_savedb(dbref player, void *data, char *buffer);
void debug_loaddb(dbref player, void *data, char *buffer);
void debug_shutdown(dbref player, void *data, char *buffer);
#endif				/* DEBUG_H */