Change newserver to a link to server_date_time in deploySICS

This commit is contained in:
Douglas Clowes
2014-07-21 15:10:14 +10:00
parent ab3d7c5adf
commit 8d4366fa95
2 changed files with 15 additions and 13 deletions

View File

@@ -96,7 +96,7 @@ def load_manifest(theManifest):
right = right[len(assignment_map["DESTDIR"]):]
while right.startswith("/"):
right = right[1:]
prefix = "newserver/"
prefix = right.split("/", 1)[0] + "/" #"newserver/"
if right.startswith(prefix):
right = right[len(prefix):]
else: