Fix bug in function of automated skeleton

automated_skeleton.py

@@ -301,7 +301,7 @@ def _update_PROC_KILL(self, event):
         event:
             .pid: id of the process
         """
-        del self.processes[event.pid]
+        proc = self.processes.pop(event.pid)
         # shouldn't need this as pages are freed before the process is killed
         for page in proc.pages:
             del self.pages[page.key]