tree 5a238ba87644f93a9698b9ff6259b81a473832d6
parent 360941bf9293b2f993106313b86558d96957023b
author shafik <shafik@google.com> 1575629606 +0000
committer Shafik Nassar <shafik@google.com> 1575633222 +0000

Make MediaProvider#delete delete non-media files from filesystem

Fix a bug in MediaProvider#deleteInternal which prevented non-media
files in public directories from being deleted on the filesystem (although
they were deleted from the database).

Test: atest --test-mapping
Fixes: 145749382
Change-Id: Iea7bce4e2e742c236313efb6a876a585d901ade8