X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=index%2Fzserver.c;h=acaf62c5fa79e2a74a9af93039f62d0beec7ea0e;hb=9cf5dedda26c0ebaf38daa6fa3f15a763d6b2fcb;hp=61df429c87ff4935e88c36c5ffb9075c3c7d878c;hpb=ebb67760aea966de2e476018400f7449bc6f2ae8;p=idzebra-moved-to-github.git

diff --git a/index/zserver.c b/index/zserver.c
index 61df429..acaf62c 100644
--- a/index/zserver.c
+++ b/index/zserver.c
@@ -4,7 +4,11 @@
  * Sebastian Hammer, Adam Dickmeiss
  *
  * $Log: zserver.c,v $
- * Revision 1.44  1996-12-11 12:08:01  adam
+ * Revision 1.45  1996-12-23 15:30:45  adam
+ * Work on truncation.
+ * Bug fix: result sets weren't deleted after server shut down.
+ *
+ * Revision 1.44  1996/12/11 12:08:01  adam
  * Added better compression.
  *
  * Revision 1.43  1996/11/15 15:03:58  adam
@@ -171,6 +175,7 @@
 #include <recctrl.h>
 #include <dmalloc.h>
 
+#define USE_TIMES 1
 #ifdef __linux__
 #define USE_TIMES 1
 #endif
@@ -528,6 +533,7 @@ void bend_close (void *handle)
 {
     if (server_info.records)
     {
+        resultSetDestroy (&server_info);
         dict_close (server_info.dict);
         if (server_info.isam)
             is_close (server_info.isam);