• Ansgar's avatar
    skip copying files if file list cannot be parsed · 9be4a9d9
    Ansgar authored
    This might leave files in the `unchecked` directory, but at least the
    uploader should get a rejection mail.  We still need something to
    clean up the `unchecked` directory of old files...
    9be4a9d9