@ND - lab:projects:16websem
https://nd.psychstat.org/
2026-04-06T01:57:41+00:00
@ND
https://nd.psychstat.org/
https://nd.psychstat.org/_media/wiki/dokuwiki.svg
-
text/html
2016-01-24T14:48:26+00:00
Anonymous (anonymous@undisclosed.example.com)
index
https://nd.psychstat.org/lab/projects/16websem/index
* WebSEM wiki
* Step by step setup WebSEM on a server
-
text/html
2016-01-24T14:48:26+00:00
Anonymous (anonymous@undisclosed.example.com)
websem_wiki
https://nd.psychstat.org/lab/projects/16websem/websem_wiki
* Change in doku.php. From Line 11 add the following:
if (isset($_COOKIE['HTTP_USER_AGENT'])){
if ($_COOKIE['HTTP_USER_AGENT'] != md5($_SERVER['HTTP_USER_AGENT'])){
logout();
exit;
}
}
if(!isset($_COOKIE['userid'])){
header("Location: https://websem.psychstat.org/login.php");
exit();
}
$_SERVER['REMOTE_USER'] = $_COOKIE['myself'];
$INFO['userinfo']['name'] = $_COOKIE['myself'];
global $USERNAME;
$USERNAME = $_COOKIE['myself'];