#!/bin/bash

echo " "
echo "   $0 start"
echo " "

${JBOSS_HOME}/bin/jboss-cli.sh --file=${JBOSS_HOME}/extensions/extensions.cli

echo " "
echo "   $1 end"
echo " "

