TeaWeb/web/app/connection.ts

import * as sconnection from "./connection/ServerConnection";

export const spawn_server_connection = sconnection.spawn_server_connection;
export const destroy_server_connection = sconnection.destroy_server_connection;