ports/java/jboss72, branch 2015Q2

Cleanup plist

2014-11-14T15:38:27Z

@owner not @user

2014-07-06T14:33:40Z

Support stage

2014-07-06T14:32:09Z

Remove all space characters from Makefile assignments.

2014-06-08T19:51:27Z

No functional changes included. CR: D193 (except math/sedumi) Approved by: portmgr (bapt)

Add NO_STAGE all over the place in preparation for the staging support (cat: java)

2013-09-20T19:48:32Z

The format for bind.address has changed, so document and alert users.

2013-09-08T20:56:37Z

At the same time, fix some errors for logging in the rc script. PR: ports/179927 Submitted by: Alexander Yerenkow (maintainer)

java/jboss72: distfile rerolled and enhance rc script

2013-05-04T18:27:34Z

Distfile was rerolled, maintainer has checked that there are no spurious changes RC script now can be tuned to hard way kill stuck JBoss or any child processes preventing restart; RC script can be configured to make a delay after killing (for example for restart). Add LICENSE info. PR: ports/178142 Submitted by: Alexander Yerenkow (maintainer)

Introducing jboss72

2013-03-14T21:22:00Z

PR: ports/176960 Submitted by: Alexander Yerenkow