#!/bin/sh 
# @(#)MENU_LIC version 3.3 created 10/13/93
# @(#)Copyright (c), 1987, 1993 StatSci, Inc.  All rights reserved.

PICKED_ONE=F
CONTINUE=T

while [ "$CONTINUE" = "T" ]
do
    # Source file with S-Plus Default Environment variables
    . $SHOME/splus/lib/install/USER.env

    LIC_RSHCMD=`cat $SHOME/splus/lib/install/LICRSHCMD`

    # Run menu for setting print command defaults.
    cat << EOF

License Manager Menu:                   Current Value:

1:      Set Server Logfile Name         "$LIC_LOGFILE"
2:      Set Server Logfile Max Size     "$LIC_LOGSIZE"
3:      Set Server "resources" File     "$LIC_RESOURCES"
4:      Remote server auto-start cmd:
        $LIC_RSHCMD
5:      Installation of command(section 1) man pages
6:      Installation of file format(section 5) man pages
7:      About This Menu
0:      Return to Previous Menu 

EOF
echo-n "Enter the number of your choice: "
    read WHICH
    case $WHICH in
    0)	CONTINUE=F;;
    1)	SET_VARS LIC_LOGFILE
    	PICKED_ONE=T;;
    2)	SET_VARS LIC_LOGSIZE
    	PICKED_ONE=T;;
    3)	SET_VARS LIC_RESOURCES
    	PICKED_ONE=T;;
    4)	SET_VARS LIC_RSHCMD
    	PICKED_ONE=T;;
    5)	SET_OPTIONS lic_man1;;
    6)	SET_OPTIONS lic_man5;;
    7)	INTROS LIC;;
    *)	echo "You must enter a number between 0 and 7." ;;
    esac
done
exit 0