Fixing mkdir permissions (using $CFG->directorypermissions)
Removed stty execution, now under control of execution server launcher
Merge pull request #2 from josenorberto/master

Fixing mkdir permissions (using $CFG->directorypermissions)
Removed stty execution, now under control of execution server launcher
Merge branch 'master' of https://github.com/jcrodriguez-dis/vpl.git
Merge branch 'master' into v3.1
Fix problem of overlapping docked menus
Added config option to select Websocket protocol (ws:// or wss://)
Credits to Antonio Carlos Mariani <a.c.mariani@inf.ufsc.br>