array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'ja', ), 'this' => array ( 0 => 'mongodb-driver-session.getoperationtime.php', 1 => 'MongoDB\\Driver\\Session::getOperationTime', ), 'up' => array ( 0 => 'class.mongodb-driver-session.php', 1 => 'MongoDB\\Driver\\Session', ), 'prev' => array ( 0 => 'mongodb-driver-session.getlogicalsessionid.php', 1 => 'MongoDB\\Driver\\Session::getLogicalSessionId', ), 'next' => array ( 0 => 'mongodb-driver-session.getserver.php', 1 => 'MongoDB\\Driver\\Session::getServer', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'en', 'path' => 'reference/mongodb/mongodb/driver/session/getoperationtime.xml', ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); ?>
(mongodb >=1.4.0)
MongoDB\Driver\Session::getOperationTime — Returns the operation time for this session
Returns the operation time for this session. If the session has not been used
for any operation and
MongoDB\Driver\Session::advanceOperationTime() has not
been called, the operation time will be null
この関数にはパラメータはありません。
Returns the operation time for this session, or null
if the session has no
operation time.