#!/bin/sh
export PSHELL_EX_OPTIONS=${ex_options} 
export PSHELL_CLASS_PATH=${jar_file}

# Run the workbench configured with the package paths, loading the plugin.
exec pshell-workbench -b -l -g  \$${app_args_var} \
    -plgp ${pkg_folder}/plugins \
    -scpt ${pkg_folder}/script \
    -devp ${pkg_folder}/devices \
    -pool ${pkg_folder}/config/devices.properties \
    -p ${java_file} \
    "\$@"