request.args(0,default=0, cast=int, url_onerror=URL(...)), thanks Anthony

2012-04-30 11:39:37 -05:00
parent 85f8dc6d5b
commit fd82097bfc
3 changed files with 14 additions and 13 deletions
@@ -94,15 +94,6 @@ class Request(Storage):
        self.is_local = False
        self.global_settings = settings.global_settings

-    def intargs(self,n,default=None,url_onerror=None):
-        k = self.args(n) or default
-        try:
-            return int(k)
-        except (ValueError, TypeError):
-            if url_onerror:
-                redirect(url_onerror)
-            raise HTTP(404)
-
    def compute_uuid(self):
        self.uuid = '%s/%s.%s.%s' % (
            self.application,