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 _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
