worker_impl: save expid, rid, start_time

artiq/master/worker_db.py

@@ -195,6 +195,5 @@ class DatasetManager:
             return self.ddb.get(key)
 
     def write_hdf5(self, f):
-        g = f.create_group("datasets")
         for k, v in self.local.items():
-            g[k] = v
+            f[k] = v

artiq/master/worker_impl.py

@@ -224,10 +224,11 @@ def main():
                 put_object({"action": "completed"})
             elif action == "write_results":
                 with get_hdf5_output(start_time, rid, exp.__name__) as f:
-                    dataset_mgr.write_hdf5(f)
+                    dataset_mgr.write_hdf5(f.create_group("datasets"))
                     f["artiq_version"] = artiq_version
-                    if "repo_rev" in expid:
-                        f["repo_rev"] = expid["repo_rev"]
+                    f["rid"] = rid
+                    f["start_time"] = start_time
+                    f["expid"] = pyon.encode(expid)
                 put_object({"action": "completed"})
             elif action == "examine":
                 examine(ExamineDeviceMgr, ParentDatasetDB, obj["file"])