From 36dece6d0c61308792226ce05c09eee077323593 Mon Sep 17 00:00:00 2001
From: Fredrik Noring <noring@nocrew.org>
Date: Sun, 14 Feb 1999 18:25:56 +0100
Subject: [PATCH] Remove old .opt files (if any)
Rev: lib/modules/Yabu.pmod/module.pmod:1.5
---
lib/modules/Yabu.pmod/module.pmod | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/lib/modules/Yabu.pmod/module.pmod b/lib/modules/Yabu.pmod/module.pmod
index 227acdce5b..e3e16e65ed 100644
--- a/lib/modules/Yabu.pmod/module.pmod
+++ b/lib/modules/Yabu.pmod/module.pmod
@@ -4,7 +4,7 @@
* associated with a unique key.
*/
-constant cvs_id = "$Id: module.pmod,v 1.4 1999/02/14 16:19:47 noring Exp $";
+constant cvs_id = "$Id: module.pmod,v 1.5 1999/02/14 17:25:56 noring Exp $";
#define ERR(msg) throw(({ "(Yabu) "+msg+"\n", backtrace() }))
#define WARN(msg) werror(msg)
@@ -658,6 +658,8 @@ class Table {
return 0;
}
+ /* Remove old junk, just in case. */
+ rm(filename+".opt");
/* Create new database. */
object opt = Chunk(filename+".opt", mode, this_object(), ([]));
--
GitLab