Get the path basename right in FileServer
Ignore errors from FileServer add_file

When adding files to be shared, FileServer will raise an error if a
requested file is already being shared.  If this error is raised when
user is selecting files, just ignore it and do nothing more.  The file
is already there so the user should be happy.