← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to bin/ivle-config

  • Committer: William Grant
  • Date: 2009-06-29 03:42:31 UTC
  • Revision ID: grantw@unimelb.edu.au-20090629034231-ceo0aoc68gmyg2ww
Revive a removed part of the top-level crash handler.

fileservice is still raising IVLEErrors, relying on the assumption that
the HTTP status code in them will end up in the response. That job was
actually done by the top level crash handler.

Show diffs side-by-side

added added

removed removed

Lines of Context:
bin/ivle-config
92
92
# In the local file system, where IVLE error logs should be located.""",
93
93
    ask=False))
94
94
 
95
 
config_options.append(ConfigOption("urls/public_host",
96
 
    "public.ivle.localhost",
 
95
config_options.append(ConfigOption("urls/public_host", "public.localhost",
97
96
    """Hostname which will cause the server to go into "public mode",
98
97
providing login-free access to student's published work:""",
99
98
    """
178
177
# other modules may be plugged in to pulldown against organisation-specific
179
178
# pulldown backends.""", ask=False))
180
179
 
181
 
config_options.append(ConfigOption("urls/svn_addr",
182
 
    "http://svn.ivle.localhost/",
 
180
config_options.append(ConfigOption("urls/svn_addr", "http://svn.localhost/",
183
181
    """Subversion config
184
182
=================
185
183
The base url for accessing subversion repositories:""",
203
201
    """
204
202
# The password for the usrmgt-server.""", ask=False))
205
203
 
206
 
config_options.append(ConfigOption("jail/suite", "hardy",
207
 
    """The distribution release to use to build the jail:""",
208
 
    """
209
 
# The distribution release to use to build the jail.""", ask=True))
210
 
 
211
 
config_options.append(ConfigOption("jail/mirror", "archive.ubuntu.com",
212
 
    """The archive mirror to use to build the jail:""",
213
 
    """
214
 
# The archive mirror to use to build the jail.""", ask=True))
215
 
 
216
 
config_options.append(ConfigOption("jail/devmode", False,
217
 
    """Whether jail development mode be activated:""",
218
 
    """
219
 
# Should jail development mode be activated?""", ask=False))
220
 
 
221
 
# The password for the usrmgt-server.""", ask=False))
222
204
def query_user(default, prompt):
223
205
    """Prompts the user for a string, which is read from a line of stdin.
224
206
    Exits silently if EOF is encountered. Returns the string, with spaces
298
280
    (opts, args) = getopt.gnu_getopt(args, "", optnames)
299
281
 
300
282
    if args != []:
301
 
        print >>sys.stderr, "Invalid arguments:", ' '.join(args)
 
283
        print >>sys.stderr, "Invalid arguments:", string.join(args, ' ')
302
284
        return 2
303
285
 
304
286
    if opts == []: