1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-29 01:13:08 +00:00
Commit Graph

7 Commits

Author SHA1 Message Date
Baptiste Daroussin
cbfea8568d @owner not @user 2014-07-06 14:33:40 +00:00
Baptiste Daroussin
99f928de7d Support stage 2014-07-06 14:32:09 +00:00
Jimmy Olgeni
55dc0f983a Remove all space characters from Makefile assignments.
No functional changes included.

CR:		D193 (except math/sedumi)
Approved by:	portmgr (bapt)
2014-06-08 19:51:27 +00:00
Baptiste Daroussin
c2c2a2b86b Add NO_STAGE all over the place in preparation for the staging support (cat: java) 2013-09-20 19:48:32 +00:00
Chris Rees
f32bafc5ce The format for bind.address has changed, so document and alert users.
At the same time, fix some errors for logging in the rc script.

PR:		ports/179927
Submitted by:	Alexander Yerenkow <yerenkow@gmail.com> (maintainer)
2013-09-08 20:56:37 +00:00
Chris Rees
fcbe324489 java/jboss72: distfile rerolled and enhance rc script
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 <yerenkow@gmail.com> (maintainer)
2013-05-04 18:27:34 +00:00
Chris Rees
6ad37e2951 Introducing jboss72
PR:		ports/176960
Submitted by:	Alexander Yerenkow <yerenkow@gmail.com>
2013-03-14 21:22:00 +00:00