]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - attribute.c
time.c: Add GPL header and improve documentation.
[paraslash.git] / attribute.c
index af3dfb063be01ea0a8ec8c63cde0457d0dd5a600..f33987271d7b5352c03a9eddbf8438da8cbe505f 100644 (file)
@@ -377,6 +377,7 @@ err:
 void attribute_shutdown(enum osl_close_flags flags)
 {
        osl_close_table(attribute_table, flags);
+       attribute_table = NULL;
 }
 
 int attribute_init(struct table_info *ti, const char *db)