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.
