#!/usr/bin/env php setResourceType('host'); $lease = $allocator->allocate(); $i_file = $lease->getInterface('command'); list($stdout) = $i_file->execx('ls / ; echo -- ; uptime ; echo -- ; uname -n'); echo $stdout; $lease->release(); //$i_http = $lease->getInterface('httpd'); //echo $i_http->getURI('/index.html')."\n";