diff options
| -rw-r--r-- | RepSys/commands/submit.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/RepSys/commands/submit.py b/RepSys/commands/submit.py index aefe1ff..88ff596 100644 --- a/RepSys/commands/submit.py +++ b/RepSys/commands/submit.py @@ -149,7 +149,14 @@ def submit(urls, target, define=[], submithost=None): for entry in define: args.append("--define") args.append(entry) - args.extend(urls) + if len(urls) == 1: + # be compatible with server-side repsys versions older than 1.6.90 + url, rev = layout.split_url_revision(urls[0]) + args.append(url) + args.append("-r") + args.append(str(rev)) + else: + args.extend(urls) command = subprocess.list2cmdline(args) status, output = execcmd(command) if status == 0: |