diff options
| author | ianb <devnull@localhost> | 2005-04-26 01:02:06 +0000 |
|---|---|---|
| committer | ianb <devnull@localhost> | 2005-04-26 01:02:06 +0000 |
| commit | 0286fb672af5e4309225b83f57140e24d03a0414 (patch) | |
| tree | 393dd73523b9272fe46aab73b74bfb8b51bb8ad6 /paste/server.py | |
| parent | 29f24c479e71f52f901fd20fad42945a37a0be9f (diff) | |
| download | paste-0286fb672af5e4309225b83f57140e24d03a0414.tar.gz | |
Renamed webkit_dir to publish_dir
Diffstat (limited to 'paste/server.py')
| -rwxr-xr-x | paste/server.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/paste/server.py b/paste/server.py index 878a301..24a9b38 100755 --- a/paste/server.py +++ b/paste/server.py @@ -245,8 +245,8 @@ def console_server(conf, app): servers['console'] = console_server def make_app(conf): - if conf.get('webkit_dir'): - app = wsgiwebkit.webkit(conf['webkit_dir'], use_lint=conf.get('lint')) + if conf.get('publish_dir'): + app = wsgiwebkit.webkit(conf['publish_dir'], use_lint=conf.get('lint')) else: print "You must provide --webkit-dir" sys.exit(2) |