next up previous contents index
Next: OPTIONS /DOPPLER Up: OPTIONS Previous: OPTIONS /DEROTATOR   Contents   Index


OPTIONS /DISCONNECT

    /DISCONNECT

    disconnect the specified hardware, e.g.,
    backend or backend part.


Gildas manager 2023-06-01