1 --[[--

2 param.restore()

3

4 Calling this function reverts the changes of param.exchange(...). It should not be called explicitly, but is used implicitly, if you pass an 'id' or 'params' option to execute.view{...} or execute.action{...}.

5

6 --]]--

7

8 function param.restore()

9 local saved = param._saved

10 local previous = saved[#saved]

11 saved[#saved] = nil

12 if previous == nil then

13 error("Tried to restore id and params without having exchanged it before.")

14 end

15 param._exchanged = previous

16 end