[Ur] A few questions about form submission
Edward Z. Yang
ezyang at MIT.EDU
Tue May 1 14:44:22 EDT 2012
Excerpts from Adam Chlipala's message of Mon Apr 30 07:59:28 -0400 2012:
> Build a form handler that calls [redirect] on a regular page handler.
> As Marc suggested, you can use the 'safeGet' .urp directive to override
> the rules about no side effects in GET processing, though this would
> generally be a bad thing UI-wise, I think. Ideally your form handler is
> manifestly pure (in terms of non-local side effects) to begin with.
OK, this is what I ended up doing, and it works great.
Cheers,
Edward
More information about the Ur
mailing list