First: Player ID format
Format Player ID
Format Player ID: good
Format Player ID: better
added sticky input in player_id
fixed session in player_id tool
modified exec.sh
Merge pull request #3 from gromualdo/format

Format