return false;
}
-function chrootPath($path) {
-
- if(checkChroot()) {
- $path = forge_get_config('chroot').$path;
- }
- return $path;
-}
-
-function chrootCommand($command) {
-
- if(checkChroot()) {
- $command = 'chroot '.forge_get_config('chroot').' '.$command;
- }
- return $command;
-}
-
//
// Create lock via semaphore so long running jobs don't overlap
//
return str_replace('"', '"', $string);
}
-/**
-* optionSpecialchars - escape a string which is in a <option>string</option>
-*
-* @param string $string string to escape
-* @return string escaped string
-*/
-function optionSpecialchars($string) {
- return htmlSpecialchars($string);
-}
-
-$htmlTranslationTable = get_html_translation_table(HTML_SPECIALCHARS);
-unset($htmlTranslationTable['&']);
-
-/**
-* textareaSpecialchars - escape a string which is in a textarea
-*
-* @param string $string string to escape
-* @return string escaped string
-*/
-function textareaSpecialchars($string) {
- global $htmlTranslationTable;
-
- return strtr($string, $htmlTranslationTable);
-}
-
-/**
-* unTextareaSpecialchars - clean a string escaped with textareaSpecialchars
-*
-* @param string $string escaped string
-* @return string clean string
-*/
-function unTextareaSpecialchars($string) {
- global $htmlTranslationTable;
-
- return strtr($string, array_flip($htmlTranslationTable));
-}
-
/**
* getFilteredStringFromRequest - get a string from REQUEST
*