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

« back to all changes in this revision

Viewing changes to ivle/webapp/media.py

  • Committer: David Coles
  • Date: 2010-07-20 00:30:45 UTC
  • Revision ID: coles.david@gmail.com-20100720003045-j239u3w3m5wfribb
Put "__name__" = "__main__" into globals for console.

Fixes issue where __name__ did not work when run in the python console. exec() 
with an empty globals dictionary will result in "__name__" = "__builtin__".

Show diffs side-by-side

added added

removed removed

Lines of Context:
34
34
# This maps a media namespace to an external dependency directory (in this
35
35
# case specified by the configuration option media/externals/jquery) and a
36
36
# list of permitted subpaths.
37
 
EXTERNAL_MEDIA_MAP = {'jquery': ('jquery', ['jquery.js']),
38
 
                      'codemirror': ('codemirror', None),
39
 
                      }
 
37
EXTERNAL_MEDIA_MAP = {'jquery': ('jquery', ['jquery.js'])}
40
38
 
41
39
def media_url(req, plugin, path):
42
40
    '''Generates a URL to a media file.