From 1ab2e28bea0151884b1b3b33b7839c84e558aa61 Mon Sep 17 00:00:00 2001 From: Tobias Neitzel Date: Wed, 26 Jun 2024 12:17:43 +0200 Subject: [PATCH] Fix pages branch name --- .github/workflows/pages.yml | 3 ++- src/config.properties | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index dc04090..5494baa 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -3,7 +3,7 @@ name: Publish JavaDoc on: push: branches: - - main + - master paths: - src/** - .github/workflows/pages.yml @@ -18,6 +18,7 @@ concurrency: cancel-in-progress: false jobs: + build: runs-on: ubuntu-latest diff --git a/src/config.properties b/src/config.properties index fafde28..f1bbbd1 100644 --- a/src/config.properties +++ b/src/config.properties @@ -45,4 +45,5 @@ DGC_METHOD = clean REG_METHOD = lookup SERIAL_VERSION_UID = 2 PAYLOAD_SERIAL_VERSION_UID = 2 + RMI_PORTS = 706,999,1030,1035,1090,1098,1099,1100-1103,1129,1199,1234,1440,1981,2199,2809,3273,3333,3900,4443-4446,5520,5521,5580,5999,6060,6789,6996,7700,7800,7801,7878,7890,8050,8051,8085,8091,8205,8303,8642,8686,8701,8888-8890,8901-8903,8999,9001,9003-9010,9050,9090,9099,9300,9500,9711,9809,9810-9815,9875,9910,9991,9999,10001,10098,10099,10162,10990,11001,11099,11333,12000,13013,14000,15000,15001,15200,16000,17200,18980,20000,23791,26256,31099,32913,33000,37718,45230,47001,47002,50050,50500-50504