Commit Graph
19 Commits
Author SHA1 Message Date
Axel Uhl ee5f432f58 accept leaderboard group IDs as additional parameters for compareServers with the -a parameter 2023-08-02 11:06:30 +02:00
Axel Uhl 8cb2adf98c use multipart/form-data for compareServers script to avoid server warning about consumed request body 2023-07-08 19:21:36 +02:00
Axel Uhl 98c1003517 enhanced java/target/compareServers script such that with -a it works with the REST API for compareservers 2023-01-27 23:14:35 +01:00
Axel Uhl 0e3c8ad244 ignore leaderboard group's displayName field which bug 5311 adds to the top-level node of a leaderboard group document 2021-07-19 13:00:59 +02:00
Axel Uhl c87fa36ee5 ignore raceId property in compareServers 2020-09-11 14:10:09 +02:00
Axel Uhl dbf6b2229b handle / characters in compareServers, escaping them with %2F 2020-02-06 08:42:57 +01:00
Axel Uhl 24a34dcb80 avoid caching in wget use for compareServers 2020-01-24 14:24:18 +01:00
Axel Uhl 1e12367979 use jq for formatting; more powerful in case we need to temporarily remove attributes 2019-12-13 10:08:24 +01:00
Axel Uhl 40ed796eb2 fixed compareServers script; leaderboard group names with , caused error 2017-10-28 09:50:47 +02:00
Axel Uhl 1b09f1ee17 adjusted compareServers script to exclude id and timepoint 2017-09-24 13:17:53 +02:00
Axel Uhl 2ea6b4ef7c fixed in-place sed replacements in compareServers 2015-04-30 23:01:56 +02:00
Axel Uhl 3d4aeb1904 fixed regular expressions in server comparison script 2015-03-10 01:48:35 +01:00
Axel Uhl 9eabc3bd5e further refined server comparison script 2015-03-10 01:07:47 +01:00
Axel Uhl 4fac31b8ab improved server comparison script 2015-03-10 00:32:43 +01:00
Axel Uhl aef326646a made server comparison based on leaderboard groups web service more lenient 2015-03-03 00:28:23 +01:00
Axel Uhl ff44bd90f3 tuning the compareServers script 2015-03-02 22:41:23 +01:00
Axel Uhl 825da81c93 ignore case-only changes when comparing leaderboard groups for their loaded-ness state 2015-03-02 21:06:49 +01:00
Axel Uhl 427adbb8be compare JSON in pretty-printed way, using Python's json.tool 2015-03-02 18:24:37 +01:00
Axel Uhl 7e56a63744 a script that may be used to compare the contents of different servers; not yet complete 2015-03-02 16:39:59 +01:00