src/snac/server/ServerExecutor.php
/**
    * Convert an ARK to Filename
    *
    * This method converts an ark with "ark:/" to a filename by stripping out everything up to and
    * including "ark:/", then replacing any slashes in the remainder with a hyphens.  If the string does
    * not include "ark:/", this method will just return the filename "constellation."
    *
    * This does not include the extension on the filename.
    *
    * @param string $ark The ark to convert
    * @return string The filename based on the ark (without an extension)
    */
Convert an ARK to Filename
This method converts an ark with "ark:/" to a filename by stripping out everything up to and
including "ark:/", then replacing any slashes in the remainder with a hyphens.  If the string does
not include "ark:/", this method will just return the filename "constellation."

This does not include the extension on the filename.

@param string $ark The ark to convert
@return string The filename based on the ark (without an extension)
Convert an ARK to Filename This method converts an ark with " ark : / " to a filename by stripping out everything up to and including " ark : / " then replacing any slashes in the remainder with a hyphens . If the string does not include " ark : / " this method will just return the filename " constellation . " This does not include the extension on the filename . @param string $ark The ark to convert @return string The filename based on the ark ( without an extension )
public function arkToFilename($ark) {
        $filename = "constellation";
        if (!stristr($ark, 'ark:/'))
            return $filename;
        $pieces = explode("ark:/", $ark);
        if (isset($pieces[1])) {
            $filename = str_replace('/', "-", $pieces[1]);
        }
        return $filename;
    }
public function arkToFilename ( $ ark ) { $ filename = " constellation " ; if ( ! stristr ( $ ark , 'ark:/' ) ) return $ filename ; $ pieces = explode ( " ark:/ " , $ ark ) ; if ( isset ( $ pieces [ 1 ] ) ) { $ filename = str_replace ( '/' , " - " , $ pieces [ 1 ] ) ; } return $ filename ; }
Convert an ARK to Filename
 This method converts an ark with "ark:/" to a filename by stripping out everything up to and
 including "ark:/", then replacing any slashes in the remainder with a hyphens.
Convert an ARK to Filename This method converts an ark with " ark : / " to a filename by stripping out everything up to and including " ark : / " then replacing any slashes in the remainder with a hyphens .