player.js now deals correctly with pause and resume scenarii