diff options
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index d63d0f44..d96fba4a 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -313,14 +313,14 @@ buildDatabase(filemode,expensive) == buildGloss() saveUsersHashTable() == - _$ERASE('USERS,'DATABASE,'a) + removeFile makeFullFilePath ['USERS,'DATABASE,'a] stream:= writeLib1('USERS,'DATABASE,'a) for k in MSORT HKEYS $usersTb repeat rwrite(k, tableValue($usersTb, k), stream) RSHUT stream saveDependentsHashTable() == - _$ERASE('DEPENDENTS,'DATABASE,'a) + removeFile makeFullFilePath ['DEPENDENTS,'DATABASE,'a] stream:= writeLib1('DEPENDENTS,'DATABASE,'a) for k in MSORT HKEYS $depTb repeat rwrite(k, tableValue($depTb, k), stream) |