function _escape($s) { // Escape special characters in strings $s = str_replace('\\', '\\\\', $s); $s = str_replace('(', '\\(', $s); $s = str_replace(')', '\\)', $s); $s = str_replace("\r", '\\r', $s); return $s; }