[Ur] Calling a function when the root / path is requested

Adam Chlipala adamc at impredicative.com
Sat Jun 4 06:46:30 EDT 2011


Chris Double wrote:
> Can I define a function to call when the root / path is requested?
> '/main' calls 'main' for example, what does '/' call?
>    

You can use the 'rewrite' directive to make some function the 
"default."  If you want this to be function [main] from module [Main], 
put this in your .urp file:
     rewrite url Main/main




More information about the Ur mailing list