| changeset 32788 | eede022fc142 |
| parent 32004 | bd3cb917761a |
| child 33328 | c8f212cb0c83 |
| 32787:545f69cd6042 | 32788:eede022fc142 |
|---|---|
218 return True |
218 return True |
219 |
219 |
220 return False |
220 return False |
221 |
221 |
222 def run_wsgi(self, req): |
222 def run_wsgi(self, req): |
223 with profiling.maybeprofile(self.ui): |
223 profile = self.ui.configbool('profiling', 'enabled') |
224 with profiling.profile(self.ui, enabled=profile): |
|
224 for r in self._runwsgi(req): |
225 for r in self._runwsgi(req): |
225 yield r |
226 yield r |
226 |
227 |
227 def _runwsgi(self, req): |
228 def _runwsgi(self, req): |
228 try: |
229 try: |