Changeset 228:c19c9df23d21
- Timestamp:
- 2007-08-11 13:20:00
(1 year ago)
- Author:
- Stefan Schwarzer <sschwarzer@sschwarzer.net>
- branch:
- default
- Message:
Removed method `set_option`.
-
Files:
-
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
| r227 |
r228 |
|
| 60 | 60 | # deal with builtin commands |
|---|
| 61 | 61 | # |
|---|
| 62 | | def set_option(self, query_mapping): |
|---|
| 63 | | """ |
|---|
| 64 | | Handle the option setting by evaluating the query mapping |
|---|
| 65 | | `query_mapping` (as returned by `cgi.parse_qs`). |
|---|
| 66 | | """ |
|---|
| 67 | | # currently, there aren't server-wide settings |
|---|
| 68 | | pass |
|---|
| 69 | | |
|---|
| 70 | 62 | def handle_builtin(self, url): |
|---|
| 71 | 63 | """ |
|---|
| … | … | |
| 105 | 97 | self.emit_data(template.HELP, title=u"Websourcebrowser help", |
|---|
| 106 | 98 | h1_class="Other") |
|---|
| 107 | | elif builtin == "set": |
|---|
| 108 | | self.set_option(query_mapping) |
|---|
| 109 | 99 | elif builtin == "raw_data": |
|---|
| 110 | 100 | url = query_mapping.get('url', ["/"])[0] |
|---|