X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=lib%2Fworker.c;h=f2b896e881f64b7ea8962b134a9ea62317dd874a;hb=d86a6c099ff4a1e0c7d1b437fa4ff0a9684fcdb9;hp=bc448855921d2133b76efa9073eda47ffe1da2fb;hpb=b10a4760be32849e33a2b85084491b7ab058efcd;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);