From abe327dfddd464239c3bb4e206be8bd2009bdd9e Mon Sep 17 00:00:00 2001
From: Frank Steinberg <steinberg@ibr.cs.tu-bs.de>
Date: Thu, 10 Oct 2019 12:42:38 +0200
Subject: [PATCH] Fix.
---
web/save.cgi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/web/save.cgi b/web/save.cgi
index 03602e2..d929e0a 100755
--- a/web/save.cgi
+++ b/web/save.cgi
@@ -119,7 +119,7 @@ if os.path.isfile(translatedfilename) or os.path.isfile(origfilename):
cmd = "xsltproc --stringparam snippet %s %s/xsl/bjcp-2015-styleguide-merge.xsl %s > %s" % (snippetfilename, DIR, origfilename, translatedfilename)
os.system(cmd)
log("committing to web server local repository")
- cmd = 'cd %s ; git commit %s/%s.xml -m "%s %s by %s from %s"' & (DIR, LANG, id, id, elem, user, addr)
+ cmd = 'cd %s ; git commit %s/%s.xml -m "%s %s by %s from %s"' % (DIR, LANG, id, id, elem, user, addr)
os.system(cmd)
log("updating files in the background... otherwise done.")
cmd = "make -C %s background" % DIR
--
GitLab