 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 |
|