-/* $Id: store.cc,v 1.57 1996/04/17 16:43:37 wessels Exp $ */
-#ident "$Id: store.cc,v 1.57 1996/04/17 16:43:37 wessels Exp $"
+/* $Id: store.cc,v 1.58 1996/04/17 17:16:43 wessels Exp $ */
+#ident "$Id: store.cc,v 1.58 1996/04/17 17:16:43 wessels Exp $"
/*
* DEBUG: Section 20 store
}
if (file_write_unlock(swaplog_fd, swaplog_lock) != DISK_OK)
fatal_dump("storeRebuiltFromDisk: swaplog unlock failed");
- if (file_close(swaplog_fd) != DISK_OK)
- fatal_dump("storeRebuiltFromDisk: file_close(swaplog_fd) failed");
+ file_close(swaplog_fd);
if ((swaplog_fd = file_open(swaplog_file, NULL, O_WRONLY | O_CREAT | O_APPEND)) < 0)
fatal_dump("storeRebuiltFromDisk: file_open(swaplog_file) failed");
swaplog_lock = file_write_lock(swaplog_fd);