diff 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 diff