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

« back to all changes in this revision

Viewing changes to bin/ivle-config

  • Committer: William Grant
  • Date: 2009-03-03 23:19:52 UTC
  • Revision ID: grantw@unimelb.edu.au-20090303231952-8fwhgabeqbpeq1mz
Add the media version setting to ivle-config, so it can be easily set on the
command line.

Show diffs side-by-side

added added

removed removed

Lines of Context:
113
113
# Private mode (normal mode) requires login, and only serves files relevant to
114
114
# the logged-in user."""))
115
115
 
 
116
config_options.append(ConfigOption("media/version", None,
 
117
    """Version of IVLE media resources (must change on each upgrade):""",
 
118
    """
 
119
# Version string for IVLE media resource URLs. When set, they are aggressively
 
120
# cached by the browser, so it must be either left unset or changed each time
 
121
# a media file is changed.""", ask=False))
 
122
 
116
123
config_options.append(ConfigOption("database/host", "localhost",
117
124
    """PostgreSQL Database config
118
125
==========================