X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fworker.c;h=f2b896e881f64b7ea8962b134a9ea62317dd874a;hb=49770faf0d497e2a0b07f43163728c17b3e7363b;hp=bc448855921d2133b76efa9073eda47ffe1da2fb;hpb=70e4e586e4aff1e369cacd721e874d9731253130;p=openvswitch

diff --git a/lib/worker.c b/lib/worker.c
index bc448855..f2b896e8 100644
--- a/lib/worker.c
+++ b/lib/worker.c
@@ -335,8 +335,7 @@ worker_main(int fd)
     server_sock = fd;
 
     subprogram_name = "worker";
-    proctitle_set("%s: worker process for pid %lu",
-                  program_name, (unsigned long int) getppid());
+    proctitle_set("worker process for pid %lu", (unsigned long int) getppid());
     VLOG_INFO("worker process started");
 
     rxbuf_init(&rx);