Changeset 17534

Show
Ignore:
Timestamp:
15.10.2008 12:34:41 (11 years ago)
Author:
oranfry
Message:

fixed a bug where gli.sh would try to execute output produced by the gli java program

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • gli/trunk/gli.sh

    r17493 r17534  
    417417while [ "$stop_gli" = "0" ] ; do  
    418418     
    419 # Other arguments you can provide to GLI to work around memory limitations, or debug 
    420 # -Xms<number>M    To set minimum memory (by default 32MB) 
    421 # -Xmx<number>M    To set maximum memory (by default the nearest 2^n to the total remaining physical memory) 
    422 # -verbose:gc      To set garbage collection messages 
    423 # -Xincgc          For incremental garbage collection (significantly slows performance) 
    424 # -Xprof           Function call profiling 
    425 # -Xloggc:<file>   Write garbage collection log 
     419    # Other arguments you can provide to GLI to work around memory limitations, or debug 
     420    # -Xms<number>M    To set minimum memory (by default 32MB) 
     421    # -Xmx<number>M    To set maximum memory (by default the nearest 2^n to the total remaining physical memory) 
     422    # -verbose:gc      To set garbage collection messages 
     423    # -Xincgc          For incremental garbage collection (significantly slows performance) 
     424    # -Xprof           Function call profiling 
     425    # -Xloggc:<file>   Write garbage collection log 
    426426     
    427427    exit_status=0 
    428428    if [ "$_version" -eq 2 ]; then 
    429     `$basic_command -gsdl $GSDLHOME -gsdlos $GSDLOS $*` 
    430     exit_status=$? 
     429        $basic_command -gsdl $GSDLHOME -gsdlos $GSDLOS $* 
     430        exit_status=$? 
    431431    elif [ "$_version" -eq 3 ]; then     
    432     `$basic_command -gsdl $GSDLHOME -gsdlos $GSDLOS -gsdl3 $GSDL3HOME -gsdl3src $GSDL3SRCHOME $*` 
    433     exit_status=$? 
     432        $basic_command -gsdl $GSDLHOME -gsdlos $GSDLOS -gsdl3 $GSDL3HOME -gsdl3src $GSDL3SRCHOME $* 
     433        exit_status=$? 
    434434    fi 
    435435     
    436436    if [ "$exit_status" != "2" ] ; then 
    437     stop_gli=1 
    438     else 
    439     echo 
    440     if [ "$glilang" = "es" ]; then 
    441         echo "Restarting/Ejecutando la Interfaz de la $PROGNAME..." 
    442     elif [ "$glilang" = "fr" ]; then 
    443         echo "Restarting/Exécution de $PROGNAME..." 
    444     elif [ "$glilang" = "ru" ]; then 
    445         echo "Restarting/ôÅËÕÝÉÊ ÂÉÂÌÉÏÔÅÞÎÙÊ $PROGNAME..." 
    446     else 
    447         echo "Restarting the $PROGNAME..." 
    448     fi 
    449      
     437        stop_gli=1 
     438    else 
     439        echo 
     440        if [ "$glilang" = "es" ]; then 
     441            echo "Restarting/Ejecutando la Interfaz de la $PROGNAME..." 
     442        elif [ "$glilang" = "fr" ]; then 
     443            echo "Restarting/Exécution de $PROGNAME..." 
     444        elif [ "$glilang" = "ru" ]; then 
     445            echo "Restarting/ôÅËÕÝÉÊ ÂÉÂÌÉÏÔÅÞÎÙÊ $PROGNAME..." 
     446        else 
     447            echo "Restarting the $PROGNAME..." 
     448        fi 
    450449    fi 
    451450done