Fix same performance bug as c3654cfaa77 but for httprepo.py instead.
Is there an error message when trying to diff non-existing files?found: No such file or directorynot: No such file or directoryIs there an error message when trying to add non-existing files?found: No such file or directorynot: No such file or directory