\n"; echo "

Session ID has been changed!!!

\n"; echo "

Maybe you have opened a new session in another window.

\n"; echo "

Use this instead!

\n"; $err_flag=-1; } }else{ include 'include/header.html'; echo " \n"; echo "

NO WAY!!!

\n"; $err_flag=-1; } }else{ include 'include/header.html'; echo " \n"; echo "

Session is closed, sorry!

\n"; $err_flag=-1; } if ($selection=='Logout') { $glbl_state=-1; setcookie(session_name(), '', time()-42000, '/'); session_unset(); session_destroy(); include 'include/header.html'; echo " \n"; echo "

Connection closed

\n"; } if ($glbl_state == -1) { echo '

New Login

'."\n"; }else{ if ($err_flag==0) { $connstring = 'dbname=robtestproduction host='.$sqlhost.' user='.$username.' password='.$userpswd; $dbconn = pg_connect($connstring); if (!$dbconn) { //setcookie(session_name(), '', time()-42000, '/'); session_unset(); session_destroy(); include 'include/header.html'; echo " \n"; echo "

Connection failed

\n"; echo '

New Login

'."\n"; }else{ include 'include/header.html'; echo " \n"; echo '

'."\n"; echo "

Welcome! You are logged in as User ".$_SESSION['username']."

\n"; echo "

\n"; include 'include/navigation.html'; $glbl_state=fsm($glbl_state,$selection,&$dbconn); $_SESSION['glbl_state']=$glbl_state; } } } if (isset($dbconn)) { if ($dbconn) { pg_close($dbconn); } } echo " \n"; echo "\n"; ?>