Andrew Chin
c583a94d7d
Update JonnyJD's pullrequest to work with the new POI codes
...
Also:
only parse players in a regionset once
ignore corrupt player.dat files
2012-04-14 23:36:52 -04:00
Andrew Chin
5f1bf1851d
Merge pull request #669
...
Merge branch 'player_marker' of https://github.com/JonnyJD/Minecraft-Overviewer into devel
Conflicts:
genPOI.py
overviewer_core/data/js_src/views.js
2012-04-14 22:46:25 -04:00
Andrew Chin
2a6769c5ac
Revised syntax/method for specifying POIs
2012-04-14 22:09:12 -04:00
Johannes Dewender
25fcd5e8bb
generate player POI out of players dat files
...
The new ids are called "Player" and "PlayerSpawn".
EntityId is the name of the player.
Everything from the player dat is available in the poi filters.
The Player position is the position on last logout.
2012-03-27 03:00:59 +02:00
Thomas Lake
8dd5495446
Add support for --quiet in genPOI.py
2012-03-26 17:33:13 -04:00
Andrew Chin
fbf1323ad7
Added --genpoi to overviewer.py
2012-03-19 20:03:54 -04:00
Andrew Chin
6b77d54555
Reimplement signs/POIs
2012-03-11 11:44:38 -04:00
