summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWolfgang Rohdewald <wolfgang@rohdewald.de>2016-08-23 13:09:46 (GMT)
committerWolfgang Rohdewald <wolfgang@rohdewald.de>2016-08-24 11:47:04 (GMT)
commitb84cd2bbdb2ddecaafdc87ba06db106d325ec1e0 (patch)
tree0fc18ecfc4bc54942ff29d9cfc27aa96ab9182af
parentcc5f9a43d9d18eed50c22def3ee329be2901c2af (diff)
Log: if git commit is wanted in prefix, also say if Python2 or Python3
-rw-r--r--src/log.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/log.py b/src/log.py
index 1ad2298..219cf1d 100644
--- a/src/log.py
+++ b/src/log.py
@@ -145,7 +145,7 @@ def __enrichMessage(msg, withGamePrefix=True):
if Debug.git:
head = gitHead()
if head not in ('current', None):
- result = u'git:{} {}'.format(head, result)
+ result = u'git:{}/p{} {}'.format(head, '3' if isPython3 else '2', result)
return result