diff options
Diffstat (limited to 'subcmds')
| -rw-r--r-- | subcmds/sync.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index 002d05f0..fcc6641f 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
| @@ -496,6 +496,8 @@ later is required to fix a server side protocol bug. | |||
| 496 | sys.exit(1) | 496 | sys.exit(1) |
| 497 | 497 | ||
| 498 | manifest_server = self.manifest.manifest_server | 498 | manifest_server = self.manifest.manifest_server |
| 499 | if not opt.quiet: | ||
| 500 | print('Using manifest server %s' % manifest_server) | ||
| 499 | 501 | ||
| 500 | if not '@' in manifest_server: | 502 | if not '@' in manifest_server: |
| 501 | username = None | 503 | username = None |
