def do_delete_realm_export(user_profile: UserProfile, export: RealmAuditLog) -> None:
    export_extra_data = export.extra_data
    assert (export_extra_data is not None)
    export_data = ujson.loads(export_extra_data)
    export_path = export_data.get('export_path')
    if export_path:
        delete_export_tarball(export_path)
    export_data.update({'deleted_timestamp': timezone_now().timestamp()})
    export.extra_data = ujson.dumps(export_data)
    export.save(update_fields=['extra_data'])
    notify_realm_export(user_profile)
def do_delete_realm_export(user_profile: UserProfile, export: RealmAuditLog) -> None:
    export_extra_data = export.extra_data
    assert (export_extra_data is not None)
    export_data = ujson.loads(export_extra_data)
    export_path = export_data.get('export_path')
    if export_path:
        delete_export_tarball(export_path)
    export_data.update({'deleted_timestamp': timezone_now().timestamp()})
    export.extra_data = ujson.dumps(export_data)
    export.save(update_fields=['extra_data'])
    notify_realm_export(user_profile)