protected function shmTeardown($file) {
    // verify the shmop extension is loaded
    if (!extension_loaded('shmop')) {
      throw new \Exception(__CLASS__ . ": Please make sure your PHP setup has the 'shmop' extension enabled.", self::EXCEPTION_NO_SHMOP);
    }

    // Get actual file path
    $rfile = realpath($file);

  // If the file cannot be found, except away
    if (false === $rfile) {
      throw new \Exception(__CLASS__ . ": Database file '{$file}' does not seem to exist.", self::EXCEPTION_DBFILE_NOT_FOUND);
    }

    $shmKey = self::getShmKey($rfile);

  // Try to open the memory segment for writing
    $shmId  = @shmop_open($shmKey, 'w', 0, 0);
    if (false === $shmId) {
      throw new \Exception(__CLASS__ . ": Unable to access shared memory block '{$shmKey}' for writing.", self::EXCEPTION_SHMOP_WRITING_FAILED);
    }

    // Delete and close the descriptor
    shmop_delete($shmId);
    shmop_close($shmId);
  }
protected function shmTeardown($file) {
    // verify the shmop extension is loaded
    if (!extension_loaded('shmop')) {
      throw new \Exception(__CLASS__ . ": Please make sure your PHP setup has the 'shmop' extension enabled.", self::EXCEPTION_NO_SHMOP);
    }

    // Get actual file path
    $rfile = realpath($file);

  // If the file cannot be found, except away
    if (false === $rfile) {
      throw new \Exception(__CLASS__ . ": Database file '{$file}' does not seem to exist.", self::EXCEPTION_DBFILE_NOT_FOUND);
    }

    $shmKey = self::getShmKey($rfile);

  // Try to open the memory segment for writing
    $shmId  = @shmop_open($shmKey, 'w', 0, 0);
    if (false === $shmId) {
      throw new \Exception(__CLASS__ . ": Unable to access shared memory block '{$shmKey}' for writing.", self::EXCEPTION_SHMOP_WRITING_FAILED);
    }

    // Delete and close the descriptor
    shmop_delete($shmId);
    shmop_close($shmId);
  }
protected function shmTeardown ( $ file ) { // verify the shmop extension is loaded if ( ! extension_loaded ( 'shmop' ) ) { throw new \ Exception ( __CLASS__ . ": Please make sure your PHP setup has the 'shmop' extension enabled." , self :: EXCEPTION_NO_SHMOP ) ; } // Get actual file path $ rfile = realpath ( $ file ) ; // If the file cannot be found, except away if ( false === $ rfile ) { throw new \ Exception ( __CLASS__ . ": Database file '{$file}' does not seem to exist." , self :: EXCEPTION_DBFILE_NOT_FOUND ) ; } $ shmKey = self :: getShmKey ( $ rfile ) ; // Try to open the memory segment for writing $ shmId = @ shmop_open ( $ shmKey , 'w' , 0 , 0 ) ; if ( false === $ shmId ) { throw new \ Exception ( __CLASS__ . ": Unable to access shared memory block '{$shmKey}' for writing." , self :: EXCEPTION_SHMOP_WRITING_FAILED ) ; } // Delete and close the descriptor shmop_delete ( $ shmId ) ; shmop_close ( $ shmId ) ; }
Tear down a shared memory segment created for the given file

@access protected
@param string $file  Filename of the BIN database whise segment must be deleted
@throws \Exception
Tear down a shared memory segment created for the given file