From f23a1cb70bc6ba7a516b09ce0db424eebc17a422 Mon Sep 17 00:00:00 2001
From: root <root@ip-172-31-46-251.eu-west-2.compute.internal>
Date: Sun, 6 Oct 2019 16:25:05 +0000
Subject: [PATCH] sudo may be needed to avoid warnings

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

diff --git a/index.php b/index.php
index 5f28654..2c55a15 100644
--- a/index.php
+++ b/index.php
@@ -329,7 +329,7 @@ $t = $text['index'];
 	if (file_exists($docRoot.$ICEcoderDir."/data/git-diff.php")) {
 		echo "Looking for git status...";
 	} else {
-		echo "To provide git diff data to ICEcoder, please run 'php processes/system.php' as a background process (eg using 'nohup')";
+		echo "To provide git diff data to ICEcoder, please run 'sudo php processes/system.php' as a background process (eg using 'nohup')";
 	};?></div>
 	<iframe name="contentFrame" id="content" src="editor.php" class="code" scrolling="no"></iframe>
 </div>