introduce released field in DB, so released workspaces can be disting…

…uished from expired ones

(see branch new_release for parts in ws_expirer that use this)

src/ws.cpp

@@ -398,6 +398,8 @@ void Workspace::release(string name) {
 
 	// set expiration to now so it gets deleted earlier after beeing released
 	dbentry.setexpiration(time(NULL));
+	// set released flag so released workspaces can be distinguished from expired ones
+    	dbentry.setreleased(time(NULL));
 	dbentry.write_dbfile();
 
         string dbtargetname = fs::path(dbfilename).parent_path().string() + "/" +

src/ws_release.cpp

@@ -149,7 +149,7 @@ int main(int argc, char **argv) {
     // get workspace object
     Workspace ws(WS_Release, opt, duration, filesystem);
 
-    // allocate workspace
+    // release workspace
     ws.release(name);
 
 }

src/wsdb.cpp

@@ -122,7 +122,10 @@ void WsDB::write_dbfile()
     if (group.length()>0) {
         entry["group"] = group;
     }
-	entry["comment"] = comment;
+    if (released > 0) {
+        entry["released"] = released;
+    }
+    entry["comment"] = comment;
     Workspace::raise_cap(CAP_DAC_OVERRIDE);
 #ifdef SETUID
     // for filesystem with root_squash, we need to be DB user here

src/wsdb.h

@@ -62,7 +62,8 @@ class WsDB {
     int reminder;
     string mailaddress;
     string group;
-	string comment;
+    string comment;
+    long released;
 
     void read_dbfile();
 
@@ -83,9 +84,13 @@ class WsDB {
         return expiration;
     }
 
-	void setexpiration(long int expiration_) {
-		expiration = expiration_;
-	}
+    void setexpiration(long int expiration_) {
+	expiration = expiration_;
+    }
+
+    void setreleased(long int released_) {
+ 	released = released_;
+    }
 
     int getextension() {
         return extensions;