Re: (pdf) download size

btw. if 'matching' works like bash "grep", it should be sth. like

if(shExpMatch(url,"*.pdf$")

....right ?


mi <[email protected]>:
>     if(shExpMatch(url,"*.pdf") || (shExpMatch(url,"*.zip"))
> 	return "DIRECT";
> 
>  else
>     if((url.substring(0, 5) == "http:") || (url.substring(0, 4) == "ftp:"))
>        return "PROXY localhost:8080; DIRECT";
>     else
>        return "DIRECT";
> }

-- 
mi