mickael9 avatar mickael9 committed c3d5d91

Fix invalid fileid causing an unhandled exception

Comments (0)

Files changed (1)

             share = user.get_share(match.group(1))
 
             if match.group(2):
-                id = match.group(2)
-                file = share.files[id]
-                file.destroy()
+                try:
+                    id = match.group(2)
+                    file = share.files[id]
+                    file.destroy()
 
-                print('Deleted file %s [%s]' % (file.name, file.url))
+                    print('Deleted file %s [%s]' % (file.name, file.url))
+                except KeyError:
+                    print("No such file in the share")
             else:
                 print('Deleted share %s' % share.name)
                 share.destroy()
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.