Removed leading blanks

pull/851/head
Dietmar Schinnerl 12 years ago
parent 6a18075640
commit bfed87df80

@ -307,10 +307,10 @@ def _gitinfo():
branch = f.readline().split('/')[-1].rstrip("\n")
branch_path = os.path.join(repo_path, "refs", "heads", branch)
with open(branch_path) as f:
commit = f.readline()[:10]
commit = f.readline()[:10]
date = time.localtime(os.stat(branch_path).st_mtime)
offset = time.timezone if (time.daylight == 0) else time.altzone
result = "({0} {1}) last updated {2} (GMT {3:+04d})".format(branch, commit,
result = "({0} {1}) last updated {2} (GMT {3:+04d})".format(branch, commit,
time.strftime("%Y/%m/%d %H:%M:%S", date), offset / -36)
return result

Loading…
Cancel
Save