Issue #1366: "Partition" feature now modified to "Generalized Partition"

[modules/shaper.git] / squishserver_stop.sh

#!/bin/bash -x

SQUISHSERVER_PORT=4320

source env_squish.sh
squishserver --verbose --port=${SQUISHSERVER_PORT} --stop $@