If you use an offset of 10 then 9990 should become 10000. So you could try to provide stop.jboss target at build.xml with
<arg value="--controller=localhost:10000" />
Thanks for the reply, i aactually tryed to run from the terminal the command
sudo ./jboss-cli.sh --connect --controller=remoting://localhost:10000 --command=:shutdown --timeout=10000
with no luck, so don't think what updating the build.xml will change something..
It seems that this syntax is wrong:
Thanks a lot! It works for me!