[m-rev.] for review: deep profiling on the web page

[Peter Ross]

On Wed, Aug 01, 2001 at 05:21:32PM +1000, Zoltan Somogyi wrote:
> For review by anyone familiar with our web site's design. In particular, I'd
> like to know (1) whether my use of mdprof\??echo $root? does what I want it
> to do (i.e. result in the string mdprof?/home/mercury5/installed_w3 in the
> HTML generated by PHP), and (2) what is the best place in the non-news part
> of the web site to link to the new deep profiling page from.
> 
[snip]
> +<li>
> +<a href = "http://venus.cs.mu.oz.au/cgi-bin/mdprof\??echo $root?/information/deep_demo/make_hlds.data">mmc -O2 make_hlds.m</a>:

You shouldn't use $root here. $root usualy contains how to
get from the current directory back to the root of the Mercury web pages.

You will just need to hard code the path explicitly, or alternatively
you could add a new file w3/include/globals.inc which contains:

<?
	$installed_path=/home/mercury5/installed_w3
?>

And include this file from w3/include/template.inc

You could then use this variable whenever you need it.

HTH,
Pete
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------