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 $
    22
    33PortSystem 1.0
    44name                    jetty
     
    3131
    3232use_configure           no
    3333
     34startupitem.create      yes
     35startupitem.name        ${name}
     36startupitem.start       "cd ${destroot}${javadest} && java -jar -Dname=jetty ./start.jar &"
     37startupitem.stop        "ps aux | grep 'jetty' | awk '{print \$2}' | sudo xargs kill"
     38
    3439build {}
    3540
    3641destroot {