diff options
author | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-11-16 12:12:11 +0100 |
---|---|---|
committer | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-11-16 12:12:11 +0100 |
commit | 41a1bc68b5b24f323aa89e39ec586b3c02935bee (patch) | |
tree | d1fdec6c0b8b2c3f59015246c72cbb2957f7cfaa /pdf-over-gui/src/main/java/at/asit/pdfover/gui/exceptions/InvalidPortException.java | |
parent | 9a705e911485af200937ed4fbbd216f1ecefdea2 (diff) | |
download | pdf-over-41a1bc68b5b24f323aa89e39ec586b3c02935bee.tar.gz pdf-over-41a1bc68b5b24f323aa89e39ec586b3c02935bee.tar.bz2 pdf-over-41a1bc68b5b24f323aa89e39ec586b3c02935bee.zip |
replace String.format(Messages.getString with Messages.formatString(
Diffstat (limited to 'pdf-over-gui/src/main/java/at/asit/pdfover/gui/exceptions/InvalidPortException.java')
-rw-r--r-- | pdf-over-gui/src/main/java/at/asit/pdfover/gui/exceptions/InvalidPortException.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pdf-over-gui/src/main/java/at/asit/pdfover/gui/exceptions/InvalidPortException.java b/pdf-over-gui/src/main/java/at/asit/pdfover/gui/exceptions/InvalidPortException.java index 253f935d..96c09663 100644 --- a/pdf-over-gui/src/main/java/at/asit/pdfover/gui/exceptions/InvalidPortException.java +++ b/pdf-over-gui/src/main/java/at/asit/pdfover/gui/exceptions/InvalidPortException.java @@ -32,7 +32,7 @@ public class InvalidPortException extends PDFOverGUIException { * @param port invalid port number */ public InvalidPortException(int port) { - super(String.format(Messages.getString("exception.InvalidPort"), Integer.toString(port), 1, 0xffff)); + super(Messages.formatString("exception.InvalidPort", Integer.toString(port), 1, 0xffff)); } /** @@ -41,6 +41,6 @@ public class InvalidPortException extends PDFOverGUIException { * @param portString invalid port string */ public InvalidPortException(String portString, Throwable source) { - super(String.format(Messages.getString("exception.InvalidPort"), portString, 1, 0xffff), source); + super(Messages.formatString("exception.InvalidPort", portString, 1, 0xffff), source); } } |