From d4accf09de9976710525b79b18225519a1cb5375 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Thu, 16 Feb 2012 16:15:25 +0000
Subject: [PATCH] REQUEST_URI is undefined from the CLI

---
 index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.php b/index.php
index 0a9438d2..8fff3a58 100644
--- a/index.php
+++ b/index.php
@@ -63,7 +63,7 @@ require_once "lib/context.php";
 if(CONTEXT) {
 	ctx_set_log(CONTEXT);
 }
-ctx_log_start($_SERVER["REQUEST_URI"], true, true);
+ctx_log_start(@$_SERVER["REQUEST_URI"], true, true);
 if(COVERAGE) {
 	_start_coverage();
 	register_shutdown_function("_end_coverage");