diff options
-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 |