analyzeSessions.php
Go to the documentation of this file.
00001 <?php 00002 00003 $config_ini = parse_ini_file("../config.ini", TRUE); 00004 00005 // Starts the GATE process/bridge 00006 require_once($config_ini["gate"]["gateBridgeURI"]); 00007 00008 // Attach to the screen sessions 00009 // Second param "false" => we re-use the pre-created session without destroying the previous one 00010 // third param "0" => it nevers timeout. 00011 $SconesSession = java_session($config_ini["gate"]["sessionName"], false, 0); 00012 00013 for($i = 1; $i <= $config_ini["gate"]["nbSessions"]; $i++) 00014 { 00015 if(!is_null($SconesSession->get("session".$i."_instance")) && 00016 $SconesSession->get("session".$i."_instance")->__signature != NULL && 00017 $SconesSession->get("session".$i."_instance")->__signature != "php.java.bridge.Request\$PhpNull") 00018 { 00019 echo "Sessions ID: #".$i."<br>\n"; 00020 00021 echo "Used: ".(java_values($SconesSession->get("session".$i."_used")) ? "TRUE" : "FALSE")."<br>\n"; 00022 00023 $corpus = java_values($SconesSession->get("session".$i."_instance"))->getCorpus(); 00024 00025 $nbDocuments = java_values($corpus->size()); 00026 00027 echo "Number of documents: ".$nbDocuments."<br>\n"; 00028 00029 echo "<br><br>\n\n"; 00030 } 00031 } 00032 00033 ?>
