mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-09 06:51:44 +00:00
23b7e0ae1e
rmi.xml. Changed the order in which certain steps are performed. Fixed a small bug in the orionctl man page. Including a dirty hack to make sure that WRKDIR is defined (WRKDIR?=work). Bumped PORTREVISION.
12 lines
432 B
Plaintext
12 lines
432 B
Plaintext
--- config/rmi.xml.orig Sat Mar 30 13:17:25 2002
|
|
+++ config/rmi.xml Sat Mar 30 13:17:59 2002
|
|
@@ -1,7 +1,7 @@
|
|
<?xml version="1.0"?>
|
|
<!DOCTYPE rmi-server PUBLIC "Orion RMI-server" "http://www.orionserver.com/dtds/rmi-server.dtd">
|
|
|
|
-<rmi-server>
|
|
+<rmi-server host="[ALL]" port="%%RMI_PORT%%">
|
|
<!-- A remote server connection example -->
|
|
<!-- <server host="the.remote.server.com" username="adminUser" password="123abc" /> -->
|
|
|