view host/serve_dev.sh @ 2033:905a6ade55f2 default tip

change corePoolSize from 1 to 10
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 04 Nov 2025 13:30:21 -0700
parents fa8304b060d9
children
line wrap: on
line source

#!/bin/bash
set -e

. check_app.sh

checkStopped;

java -classpath $CLASSPATH luan.Luan run_host.luan console 2>&1 | tee err