OKAPI settings update

2013-03-26 14:19:21 +01:00
parent 566e79ba72
commit a17f203959
3 changed files with 10 additions and 8 deletions
--- a/htdocs/okapi_settings.php
+++ b/htdocs/okapi_settings.php
@@ -25,6 +25,7 @@ function get_okapi_settings()
 		'ADMINS' => array($sql_errormail,'rygielski@mimuw.edu.pl'),
 		'FROM_FIELD' => $emailaddr,
 		'DEBUG' => $debug_page,
+		'DEBUG_PREVENT_SEMAPHORES' => $disable_semaphores,  # not available on current developer system
 		'DB_SERVER' => $dbserver,
 		'DB_NAME' => $dbname,
 		'DB_USERNAME' => $dbusername,