1 --[[--

2 value = -- value of the id casted to the chosen param_type

3 param.get_id(

4 param_type -- desired type of the returned value

5 )

6

7 Same as param.get(...), but operates on a special id parameter. An id is set via a __webmcp_id GET or POST parameter or an 'id' option to execute.view{...} or execute.action{...}. In a normal setup a beauty URL of the form http://www.example.com/example-application/example-module/example-view/<id>.html will cause the id to be set.

8

9 --]]--

10

11 function param.get_id(param_type)

12 local param_type = param_type or atom.integer

13 if param._exchanged then

14 local value = param._exchanged.id

15 if value ~= nil and not atom.has_type(value, param_type) then

16 error("Parameter has unexpected type.")

17 end

18 return value

19 else

20 return param.get("_webmcp_id", param_type)

21 end

22 end