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

2011-06-04 Thread Chris Double
Can I define a function to call when the root / path is requested? '/main' calls 'main' for example, what does '/' call? Chris. -- http://www.bluishcoder.co.nz ___ Ur mailing list Ur@impredicative.com

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

2011-06-04 Thread Adam Chlipala
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

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

2011-06-04 Thread Adam Chlipala
Chris Double wrote: On Sat, Jun 4, 2011 at 10:46 PM, Adam Chlipalaad...@impredicative.com wrote: 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