Ticket #30713: jettyportfile.diff
File jettyportfile.diff, 623 bytes (added by jerome.renard@…, 13 years ago) |
---|
-
Portfile
old new 1 # $Id $1 # $Id: Portfile 50980 2009-05-14 19:41:55Z and.damore@macports.org $ 2 2 3 3 PortSystem 1.0 4 4 name jetty … … 31 31 32 32 use_configure no 33 33 34 startupitem.create yes 35 startupitem.name ${name} 36 startupitem.start "cd ${destroot}${javadest} && java -jar -Dname=jetty ./start.jar &" 37 startupitem.stop "ps aux | grep 'jetty' | awk '{print \$2}' | sudo xargs kill" 38 34 39 build {} 35 40 36 41 destroot {