~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-24 10:36:40 UTC
  • Revision ID: grantw@unimelb.edu.au-20090624103640-os28zap2wkyz2udb
Simplify (and deprettify) the crash handler. It's now only used to handle crashes, so needn't be pretty.

Show diffs side-by-side

added added

removed removed

Lines of Context:
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:""",
282
280
    (opts, args) = getopt.gnu_getopt(args, "", optnames)
283
281
 
284
282
    if args != []:
285
 
        print >>sys.stderr, "Invalid arguments:", ' '.join(args)
 
283
        print >>sys.stderr, "Invalid arguments:", string.join(args, ' ')
286
284
        return 2
287
285
 
288
286
    if opts == []: