view website/dev.sh @ 2033:905a6ade55f2 default

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

#!/bin/bash

java -classpath $CLASSPATH luan.Luan luan:http/serve.luan src 2>&1 | tee err