--- workflow.module	Mon Jan 19 16:26:36 1970
+++ workflow.module	Mon Jan 19 16:26:36 1970
@@ -1508,4 +1508,17 @@
   }
 
   return $tokens;
-}
\ No newline at end of file
+}
+
+/**
+ * Implementation of hook_user().
+ */
+
+function workflow_user($op, &$edit, &$account, $category = NULL) {
+  switch ($op) {
+    case 'delete':
+      db_query("UPDATE {workflow_node} SET uid = 0 WHERE uid = %d", $account->uid);
+      db_query("UPDATE {workflow_node_history} SET uid = 0 WHERE uid = %d", $account->uid);
+    break;
+  }
+}