|
||||
File indexing completed on 2024-04-06 12:01:54
0001 #!/bin/bash 0002 ME="`basename $0`" 0003 if [ -z "$FRONTIER_CLIENT" ]; then 0004 echo "$ME: error, \$FRONTIER_CLIENT isn't set" 0005 exit 1 0006 fi 0007 exec -a $ME ${FRONTIER_CLIENT%/}/bin/$ME "$@"
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.2.1 LXR engine. The LXR team |