0
@@ -266,6 +266,7 @@ private:
0
     }
0
     
0
     try {
0
+			UPDATE_TRACE_POINT();
0
       // Read status.
0
       if (!channel.read(args)) {
0
         throw SpawnException("The spawn server has exited unexpectedly.");
0
@@ -293,6 +294,7 @@ private:
0
       throw SpawnException(string("Could not read from the spawn server: ") + e.sys());
0
     }
0
     
0
+		UPDATE_TRACE_POINT();
0
     try {
0
       ownerPipe = channel.readFileDescriptor();
0
     } catch (const SystemException &e) {
0
@@ -306,6 +308,7 @@ private:
0
     }
0
     
0
     if (args.size() != 3) {
0
+			UPDATE_TRACE_POINT();
0
       syscalls::close(ownerPipe);
0
       throw SpawnException("The spawn server sent an invalid message.");
0
     }
0
@@ -313,6 +316,7 @@ private:
0
     pid_t pid = atoi(args[0]);
0
     bool usingAbstractNamespace = args[2] == "true";
0
     
0
+		UPDATE_TRACE_POINT();
0
     if (!usingAbstractNamespace) {
0
       int ret;
0
       do {