From 5156f2d9c573fbea472d165d329da885547246bf Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 27 Aug 2015 12:21:27 +0000 Subject: [PATCH] Fix in previous improvement to prism-auto. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10594 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 16a4ae13..6251d49d 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -678,4 +678,4 @@ for arg in args: else: print "Error: File/directory " + arg + " does not exist" if options.nailgun: - subprocess.Popen(["ngprism", "stop"]).wait() + subprocess.Popen([options.ngprism, "stop"]).wait()