204
204
# The password for the usrmgt-server.""", ask=False))
206
222
def query_user(default, prompt):
207
223
"""Prompts the user for a string, which is read from a line of stdin.
208
224
Exits silently if EOF is encountered. Returns the string, with spaces