dandri/i2p.i2p
1
0
Fork 0
mirror of https://github.com/i2p/i2p.i2p.git synced 2026-10-09 07:17:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

Util: Add time format method that replaces UTF-8 spaces with regular ones

Browse Source 
and use in some logging and config file calls. Undoes Java 20 change.
This commit is contained in:
zzz
2026-07-25 10:11:16 -04:00
parent e6b344ba45
commit 55582e46c4
4 changed files with 22 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
core/java/src/net/i2p/data/DataHelper.java
+19 -2
View File
@@ -559,7 +559,7 @@ public class DataHelper {
if (file.getName().equals("router.config"))
out.println("# WARNING: Do NOT copy this file from one router to another, this may cause serious problems.");
out.println("# NOTE: This I2P config file must use UTF-8 encoding");
out.println("# Last saved: " + formatTime(System.currentTimeMillis()));
out.println("# Last saved: " + formatTimeNormalSpaces(System.currentTimeMillis()));
for (Map.Entry<Object, Object> entry : props.entrySet()) {
String name = (String) entry.getKey();
String val = (String) entry.getValue();
@@ -1739,7 +1739,7 @@ public class DataHelper {
* The default formatting for date/time, current locale, local time zone.
* Warning - NOT UTC!
* Warning - may contain UTF-8 chars, output format may change between Java versions.
* As of Java 21, space before the AM/PM is a narrow no-break space U+202F,
* As of Java 20, space before the AM/PM is a narrow no-break space U+202F,
* or e2 80 af.
*
* Examples:
@@ -1758,6 +1758,23 @@ public class DataHelper {
return TIME_FORMAT.format(new Date(now));
}
}
/**
* The default formatting for date/time, current locale, local time zone,
* EXCEPT UTF-8 spaces are replaced with normal spaces.
* ref: https://inside.java/2024/03/29/quality-heads-up/
*
* Warning - NOT UTC!
* Warning - may contain other UTF-8 chars, output format may change between Java versions.
*
* Examples:
* en: Aug 30, 2019 12:38 PM
* de: 30.08.2019 12:38
* @since 0.9.71
*/
public static String formatTimeNormalSpaces(long now) {
return formatTime(now).replace('\u202F', ' ').replace('\u00A0', ' ');
}
/**
* Strip out any HTML (simply removing any less than / greater than symbols)