Function revoke

core/src/stdlib/pyscript/fs.py:217–258

Revoke filesystem access permission and unmount for a given `path` and `id` combination. This removes the stored permission for accessing the user's local filesystem at the specified path and ID. Unlike `unmount()`, which only removes the mount point, `revoke()` also clears the

(path, id="pyscript")

async def revoke(path, id="pyscript"):
    """
    Revoke filesystem access permission and unmount for a given
    `path` and `id` combination.

    This removes the stored permission for accessing the user's local
    filesystem at the specified path and ID. Unlike `unmount()`, which only
    removes the mount point, `revoke()` also clears the permission so the
    user will be prompted again on next mount.

    ```python
    from pyscript import fs


    await fs.mount("/local", id="my-app")
    # ... work with files ...

    # Revoke permission (user will be prompted again next time).
    revoked = await fs.revoke("/local", id="my-app")

    if revoked:
        print("Permission revoked successfully")
    ```

    After revoking, the user will need to grant permission again and
    select a directory when `mount()` is called next time.
    """
    mount_key = f"{path}@{id}"

    if RUNNING_IN_WORKER:
        handler_exists = sync_with_worker.deleteFSHandler(mount_key)
    else:
        handler_exists = await _fs.idb.has(mount_key)
        if handler_exists:
            handler_exists = await _fs.idb.delete(mount_key)

    if handler_exists:
        interpreter._module.FS.unmount(path)
        if path in mounted:
            del mounted[path]

    return handler_exists