Bug with editing files on the local disk
|Operating system type:
|Operating system version:
The whole problem is that if two files are named the same. e.g. rules.php and one is on the remote server and the other on the local disk, then editing this on the local disk causes that it overwrites the remote server file.