products/sources/formale Sprachen/Java/apache-tomcat-10.1.16-src/bin/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: DistinctTreeProver.thy   Sprache: Shell

Untersuchung Apache©
#!/bin/sh

# Licensed to the Apache Software Foundation (ASF) under one or more
# contributor license agreements.  See the NOTICE file distributed with
# this work for additional information regarding copyright ownership.
# The ASF licenses this file to You under the Apache License, Version 2.0
# (the "License"); you may not use this file except in compliance with
# the License.  You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

# This script creates the directory structure required for running Tomcat
# in a separate directory by pointing $CATALINA_BASE to it. It copies the
# conf directory from $CATALINA_HOME, and creates empty directories for
# bin, lib, logs, temp, webapps, and work.
#
# If the file $CATALINA_HOME/bin/setenv.sh exists then it is copied to
# the target directory as well.
#
# Usage: makebase <path-to-target-directory> [-w | --webapps]

# resolve links - $0 may be a softlink
PRG="$0"

while [ -h "$PRG" ]; do
  ls=`ls -ld "$PRG"`
  link=`expr "$ls" : '.*-> \(.*\)$'`
  if expr "$link" : '/.*' > /dev/null; then
    PRG="$link"
  else
    PRG=`dirname "$PRG"`/"$link"
  fi
done

# Get standard environment variables
PRGDIR=`dirname "$PRG"`

# Only set CATALINA_HOME if not already set
[ -z "$CATALINA_HOME" ] && CATALINA_HOME=`cd "$PRGDIR/.." >/dev/null; pwd`

# first arg is the target directory
BASE_TGT=$1

if [ -z "$BASE_TGT" ]; then
    # target directory not provided; exit
    echo "Usage: makebase "
    exit 1
fi

COPY_WEBAPPS=false

# parse args
while [ "$1" != "" ]; do
    case $1 in
        -w | --webapps)
            COPY_WEBAPPS=true
            ;;
    esac
    shift
done

if [ -d "$BASE_TGT" ]; then
  # target directory exists
  echo "Target directory exists"

    # exit if target directory is not empty
    [ "`ls -A "$BASE_TGT"`" ] && \
        echo "Target directory is not empty" && \
        exit 1
else
    # create the target directory
    mkdir -p "$BASE_TGT"
fi

for dir in bin conf lib logs temp webapps work;
do
    # create empty directories
    mkdir "$BASE_TGT/$dir"
done

if [ "$COPY_WEBAPPS" = true ]; then
    echo "Copying webapps"
    cp -r "$CATALINA_HOME/webapps" "$BASE_TGT/"
    # copy conf directory recursively
    cp -r "$CATALINA_HOME/conf" "$BASE_TGT/"
else
    # copy conf directory without subdirectories and suppress warning
    cp "${CATALINA_HOME}/conf"/* "$BASE_TGT/conf" 2> /dev/null
    # create empty ROOT directory
    mkdir "$BASE_TGT/webapps/ROOT"
fi

# copy setenv.sh if exists
[ -f "$CATALINA_HOME/bin/setenv.sh" ] && \
    cp "$CATALINA_HOME/bin/setenv.sh" "$BASE_TGT/bin/"

echo "Created CATALINA_BASE directory at $BASE_TGT"

echo
echo "You can launch the new instance by running:"
echo " export CATALINA_HOME=$CATALINA_HOME"
echo " export CATALINA_BASE=$BASE_TGT"
echo " \$CATALINA_HOME/bin/catalina.sh run"

echo
echo "Attention: The ports in conf/server.xml might be bound by a "
echo " different instance. Please review your config files "
echo " and update them as necessary."
echo

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.27Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤



Druckansicht
unsichere Verbindung
Druckansicht
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


Ziele

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff