0
Commit Graph

6 Commits

Author SHA1 Message Date
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