Implement kill_request_handler in spawnd, using domain caps.
[barrelfish] / errors / errno.fugu
index 2f59462..84d3e87 100755 (executable)
@@ -663,6 +663,10 @@ errors spawn SPAWN_ERR_ {
     failure DOMAIN_ALLOCATE    "No more domain descriptors",
     failure DOMAIN_NOTFOUND    "Domain not found",
     failure DOMAIN_RUNNING    "Domain is running",
+    
+    failure CREATE_DOMAIN_TABLE  "Failed to create domain hash table",
+    failure DOMAIN_CAP_HASH      "Failed to compute hash code for domain cap",
+    failure DOMAIN_TABLE_FIND    "Failed to find requested domain in domain table",
 
     failure FIND_SPAWNDS       "Unable to find spawn daemons",
     failure MALFORMED_SPAWND_RECORD "Spawn record without ID found?",