This is needed for commands like "chmod +x..." to work correctly

This is needed for commands like "chmod +x...." to work correctly

Fix URL encoding

Fix URL encoding

- Output is now properly escaped. PHP/HTML in files is no longer parsed when getting file contents
- Improvements to directory navigation. It is now possible to use `cd -` to return to the previous directory
- Fixed the input text width. It will no longer overflow when entering long commands

- Output is now properly escaped. PHP/HTML in files is no longer parsed when getting file contents
- Improvements to directory navigation. It is now possible to use `cd -` to return to the previous directory
- Fixed the input text width. It will no longer overflow when entering long commands

Always use !empty() over isset() when you need to verify that the user has provided a value.
The function empty() also checks if the variable is set. This prevent the user from sending an empty string. 
See here for more informations: https://stackoverflow.com/questions/7191626/isset-and-empty-what-to-use

We still need to be able to pass an empty string to the terminal. It would be much more hack-n-slash to prevent sending a blank command, and I personally feel it is more like a real terminal when you are able to send a blank command. If empty() is used, the code would also need to be modified further to prevent it from returning the full console HTML, as it would fail the php check and never hit die() if a blank command is sent.

replaced isset() by !empty()

spelling fix, no content changes

Patch XSS in filename on upload