Bug fix in prism-auto: if directory = . then log file names are not created correctly.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7808 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/etc/scripts/prism-auto

@@ -172,8 +172,9 @@ def getArgsListsFromFile(file):
 
 def createLogFileName(args, dir=""):
 	logFile = '.'.join(args)
+	print logFile
 	if len(dir) > 0:
-		logFile = re.sub(dir, '', logFile)
+		logFile = re.sub(dir+'/', '', logFile)
 	logFile = re.sub('/', '_', logFile)
 	logFile = re.sub('[^a-zA-Z0-9=_, \.]', '', logFile)
 	logFile = re.sub('[ ]+', '.', logFile)