--- launchtool-0.7/src/launchtool.cc.orig	2008-03-09 08:50:54 +0200

+++ launchtool-0.7/src/launchtool.cc	2009-01-05 16:22:56 +0200

@@ -767,7 +767,8 @@

 		// Check for another existing such launchtool, if needed

 		Pidfile pidfile(Cfg::get().visible_tag, Cfg::get().piddir);

-		if (!op_no_pidfile && pidfile.is_active())

+		//op_no_pidfile == -1 if --no-pidfile not specified

+		if (op_no_pidfile == -1 && pidfile.is_active())

 		{

 			Output::lauerr(Cfg::get().visible_tag + " already running as pid " + fmt(pidfile.read()));

 			return 1;