Searched refs:TITLEID_DEST (Results 1 – 1 of 1) sorted by relevance
340 … local TITLEID_DEST=`sed -n 's|.*<title_id .*>\([[:xdigit:]]*\)</title_id>|\1|p' "$FILE_DEST"`343 if [ -z "$TITLEID_DEST" -o -z "$TITLEID_APP" ]349 if [ $TITLEID_DEST != $TITLEID_APP ]351 …echo "$(basename "$0"): Config file title id mismatch detected: $TITLEID_DEST vs. required $TITLEI…