/*
 *	$Source$
 *	$Author$
 *	$Header$
 *
 *  (c) Copyright 1988 by the Massachusetts Institute of Technology.
 *  For copying and distribution information, please see the file
 *  <mit-copyright.h>.
 *
 */

#ifndef lint
static char *rcsid_dumprest_qc = "$Header$";
#endif lint

#include <stdio.h>
#include <sys/file.h>
#include <strings.h>
#include <mit-copyright.h>

punt(msg)
	char *msg;
{
	perror(msg);
	EXEC SQL DISCONNECT;
	exit(1);
}