From 94fec2834ab52c4db98a44084b9c723d30e9e078 Mon Sep 17 00:00:00 2001 From: Mateusz Malinowski Date: Wed, 19 Mar 2014 17:26:14 +0100 Subject: [PATCH] Update virtuoso Corrected the virtuoso path in the run command. The previous version pointed out to a wrong virtuoso path. --- scripts/virtuoso | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/virtuoso b/scripts/virtuoso index 5811390..7b7561a 100755 --- a/scripts/virtuoso +++ b/scripts/virtuoso @@ -108,7 +108,7 @@ EOF out = open(configPath, 'w') out.puts config out.close - run "virtuoso-opensource/install/bin/virtuoso-t +configfile #{configPath} +wait" + run "#{$virtuosoPath}/install/bin/virtuoso-t +configfile #{configPath} +wait" end def add