# HG changeset patch
# User Christophe Lincoln <pankso@slitaz.org>
# Date 1487684177 -3600
# Node ID 1d0317d8d6891f1eefcc9c9453c7e2965be0ef15
# Parent  3033df849ec3b9c40c53bea34ae1cf77016d8dac
Use grep not fgrep to checkadmin users

diff -r 3033df849ec3 -r 1d0317d8d689 web/bugs.cgi
--- a/web/bugs.cgi	Tue Feb 21 14:12:42 2017 +0100
+++ b/web/bugs.cgi	Tue Feb 21 14:36:17 2017 +0100
@@ -112,7 +112,7 @@
 
 # Check if user is admin
 admin_user() {
-	fgrep -w -q "^$user$" ${ADMIN_USERS}
+	grep -w -q "^$user$" ${ADMIN_USERS}
 }
 
 # Authenticated or not