3 Oct
2010
3 Oct
'10
6:08 p.m.
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.