Show More
@@ -115,16 +115,12 b' def patchbomb(ui, repo, *revs, **opts):' | |||
|
115 | 115 | ''' |
|
116 | 116 | |
|
117 | 117 | def prompt(prompt, default = None, rest = ': ', empty_ok = False): |
|
118 | try: | |
|
119 | # readline gives raw_input editing capabilities, but is not | |
|
120 | # present on windows | |
|
121 | import readline | |
|
122 | except ImportError: pass | |
|
123 | ||
|
118 | if not ui.interactive: | |
|
119 | return default | |
|
124 | 120 | if default: prompt += ' [%s]' % default |
|
125 | 121 | prompt += rest |
|
126 | 122 | while True: |
|
127 |
r = |
|
|
123 | r = ui.prompt(prompt, default=default) | |
|
128 | 124 | if r: return r |
|
129 | 125 | if default is not None: return default |
|
130 | 126 | if empty_ok: return r |
General Comments 0
You need to be logged in to leave comments.
Login now