diff options
| author | Montandalar <jbis1337@hotmail.com> | 2020-01-12 06:47:34 +1100 |
|---|---|---|
| committer | SmallJoker <SmallJoker@users.noreply.github.com> | 2020-01-11 20:47:34 +0100 |
| commit | 8d75c118d99b3ccf383ceb3b7bbc9b84a1d837b2 (patch) | |
| tree | 23100b322c3b7f73c748647e7f03a433b882047b /build/android/jni | |
| parent | 4c8af5492ba9c3b9671f5213e81d28a7b856e134 (diff) | |
| download | minetest-8d75c118d99b3ccf383ceb3b7bbc9b84a1d837b2.tar.gz minetest-8d75c118d99b3ccf383ceb3b7bbc9b84a1d837b2.tar.bz2 minetest-8d75c118d99b3ccf383ceb3b7bbc9b84a1d837b2.zip | |
Map download: Escape ':' to '_' (#9235)
This is necessary under Windows systems, and direct IPv6 connections.
Windows universally disallows ':' from occuring in filenames.
Other disallowed characters on Windows:
\ / * ? " < > |
are not relevant to hostnames, IPv4 or IPv6 addresses.
Anyone who has got an existing server map saved on Linux with ':' in
the world save will want to keep that save.
Diffstat (limited to 'build/android/jni')
0 files changed, 0 insertions, 0 deletions