$OpenBSD: patch-html_index_php,v 1.3 2015/12/07 23:42:03 sthen Exp $
--- html/index.php.orig	Mon Dec  7 14:58:09 2015
+++ html/index.php	Mon Dec  7 15:01:13 2015
@@ -13,7 +13,7 @@
  */
 
 if (empty($_SERVER['PATH_INFO'])) {
-    if( strstr($_SERVER['SERVER_SOFTWARE'],"nginx") ) {
+    if( strstr($_SERVER['SERVER_SOFTWARE'],"nginx") && !empty($_SERVER['PATH_TRANSLATED']) ) {
         $_SERVER['PATH_INFO'] = str_replace($_SERVER['PATH_TRANSLATED'].$_SERVER['PHP_SELF'],"",$_SERVER['ORIG_SCRIPT_FILENAME']);
     }
     else {
