/*
- * $Id: disk.cc,v 1.37 1996/11/04 18:12:24 wessels Exp $
+ * $Id: disk.cc,v 1.38 1996/11/06 08:14:33 wessels Exp $
*
* DEBUG: section 6 Disk I/O Routines
* AUTHOR: Harvest Derived
file_close(int fd)
{
FD_ENTRY *conn = NULL;
+ if (fd < 0) {
+ debug_trap("file_close: bad file number");
+ return DISK_ERROR;
+ }
/* we might have to flush all the write back queue before we can
* close it */