Skip to content

Commit

Permalink
Review comments
Browse files Browse the repository at this point in the history
  • Loading branch information
fpetrini15 committed Nov 27, 2024
1 parent b1b93fa commit c43d0cb
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 2 deletions.
5 changes: 4 additions & 1 deletion qa/L0_batcher/test.sh
Original file line number Diff line number Diff line change
Expand Up @@ -85,6 +85,9 @@ if [[ -v WSL_DISTRO_NAME ]] || [[ -v MSYSTEM ]]; then
BACKEND_DIR=${BACKEND_DIR:=C:/tritonserver/backends}
SERVER=${SERVER:=/mnt/c/tritonserver/bin/tritonserver.exe}
export WSLENV=$WSLENV:TRITONSERVER_DELAY_SCHEDULER
TEST_WINDOWS=1
# DLIS-7683 This test fails performance-related response time parameters
# when using HTTP protocol. Use gRPC protocol for now as a WAR.
export USE_GRPC=1
else
MODELDIR=${MODELDIR:=`pwd`}
Expand Down Expand Up @@ -602,7 +605,7 @@ done
TEST_CASE=test_multi_batch_preserve_ordering

# Skip test for Windows. Trace file concats at 8192 chars on Windows.
if [[ ! -v WSL_DISTRO_NAME ]] && [[ ! -v MSYSTEM ]]; then
if [ $TEST_WINDOWS -eq 0 ]; then
rm -fr ./custom_models && mkdir ./custom_models && \
cp -r ../custom_models/custom_zero_1_float32 ./custom_models/. && \
mkdir -p ./custom_models/custom_zero_1_float32/1
Expand Down
4 changes: 3 additions & 1 deletion qa/L0_trt_plugin/test.sh
Original file line number Diff line number Diff line change
Expand Up @@ -53,6 +53,7 @@ if [[ -v WSL_DISTRO_NAME ]] || [[ -v MSYSTEM ]]; then
CUSTOMPLUGIN=${CUSTOMPLUGIN:=$MODELDIR/HardmaxPlugin.dll}
BACKEND_DIR=${BACKEND_DIR:=C:/tritonserver/backends}
SERVER=${SERVER:=/mnt/c/tritonserver/bin/tritonserver.exe}
TEST_WINDOWS=1
else
DATADIR=${DATADIR:="/data/inferenceserver/${REPO_VERSION}"}
MODELDIR=${MODELDIR:=`pwd`/models}
Expand Down Expand Up @@ -135,7 +136,8 @@ SERVER_LD_PRELOAD=$CUSTOMPLUGIN
SERVER_ARGS=$SERVER_ARGS_BASE
SERVER_LOG="./inference_server_$LOG_IDX.log"

if [[ ! -v WSL_DISTRO_NAME ]] && [[ ! -v MSYSTEM ]]; then
# Skip test for Windows
if [ $TEST_WINDOWS -eq 0 ]; then
run_server
if [ "$SERVER_PID" == "0" ]; then
echo -e "\n***\n*** Failed to start $SERVER\n***"
Expand Down

0 comments on commit c43d0cb

Please sign in to comment.