File indexing completed on 2024-04-06 12:15:51
0001
0002
0003 function parse_HLT_schema() {
0004
0005 if [ $
0006 echo 'parse_HLT_schema: wrong number of parameters' 1>&2
0007 return 1
0008 fi
0009
0010
0011 Vx="v3"
0012 DB="$1"
0013
0014
0015 if [[ "$DB" =~ .*/.* ]]; then
0016 Vx=`echo "$DB" | cut -d/ -f1`
0017 DB=`echo "$DB" | cut -d/ -f2`
0018 fi
0019
0020 echo "$Vx" "$DB"
0021 }
0022
0023 function parse_HLT_menu() {
0024
0025 if [ $
0026 echo 'parse_HLT_menu: wrong number of parameters' 1>&2
0027 return 1
0028 fi
0029
0030
0031 Vx="v3"
0032 DB="run3"
0033 MENU="$1"
0034
0035
0036 if [[ "$1" =~ .*:.* ]]; then
0037 MENU=`echo "$1" | cut -d: -f2`
0038 DB=`echo "$1" | cut -d: -f1`
0039 if [[ "$DB" =~ .*/.* ]]; then
0040 Vx=`echo "$DB" | cut -d/ -f1`
0041 DB=`echo "$DB" | cut -d/ -f2`
0042 fi
0043 fi
0044
0045 echo "$Vx" "$DB" "$MENU"
0046 }