On Sun, Oct 03, 2010 at 11:37:46AM +0200, Manuel Tortosa wrote: > +$file = URL_DIR . "/". > urlencode(basename($_GET['p']))."/".urlencode(basename($_GET['p']))."/PKGBUILD"; > > + > +if (is_file($file)) { > + $text = file_get_contents($file); > +} else { > + $text = ""; > +}
This looks much better now :) I don't get the point of using urlencode() here tho.