<?php

//
// Configuration file for PSM PHP
//

include_once("psmsetup.php");

$psmconfig = new PSMConfig(80,    // httpport of server - required
                           "http://localhost/",
                           8280,  // port for stateservice, omit or <=0 to disable
                           8281); // port for monitor service (requires port for stateserver), omit or <=0 to disable


// Enable logging, ** WARNING ** debugLog=true causes huge volumes of PHP logging 
$psmconfig->setLog(true/*audit main event*/, false/*debugLog*/);


//
// Add portset for fast operations like preview
//
// $psmconfig->addPortSet("preview", new PSMPortSet(2/*minThreadCount*/, 300/*maxIdleTimeThreadSeconds*/, PSMPortSet::$POLICY_WORKLOAD, array(8282, 8283)));

$psmconfig->addPortSet("preview", new PSMPortSet(5/*minThreadCount*/, 300/*maxIdleTimeThreadSeconds*/, PSMPortSet::$POLICY_WORKLOAD, array(8282,8283,8284,8285,8286)));
//$psmconfig->addPortSet("preview", new PSMPortSet(1/*minThreadCount*/, 300/*maxIdleTimeThreadSeconds*/, PSMPortSet::$POLICY_WORKLOAD, array(8282)));


//
// Add portset for slow operations like outoput
//
$psmconfig->addPortSet("output", new PSMPortSet(0/*minThreadCount*/, 300/*maxIdleTimeThreadSeconds*/, PSMPortSet::$POLICY_WORKLOAD, array(8296)));

$psmconfig->setRestartInterval(3600);
//$psmconfig->setRestartInterval(0);

?>

