# HG changeset patch
# User jbe
# Date 1349886479 -7200
# Node ID eeea5b7f31d4d54ff53a530d12cf3333e3783337
# Parent  075ab292653d1050a7c451788f4ba6c63650af7b
Bugfix in function param.get_id(...)

diff -r 075ab292653d -r eeea5b7f31d4 framework/env/param/get_id.lua
--- a/framework/env/param/get_id.lua	Wed Oct 10 18:23:40 2012 +0200
+++ b/framework/env/param/get_id.lua	Wed Oct 10 18:27:59 2012 +0200
@@ -17,7 +17,7 @@
     end
     return value
   else
-    local str = request.get_id()
+    local str = request.get_id_string()
     if str then
       return param._get_parser(nil, param_type)(str)
     else