/*
 * test_disconnect.h
 *
 * Copyright (C) 2016 James Booth <boothj5@gmail.com>
 * Copyright (C) 2026 - 2026 Michael Vetter <jubalh@iodoru.org>
 *
 * SPDX-License-Identifier: GPL-3.0-or-later
 */
void disconnect_ends_session(void** state);