wangweimin 72eec915c5 `run_async` return TaskHandle, which can be used later to close the task před 5 roky
..
demos cd0e8f5c41 auto select session implement when `start_server` před 5 roky
html 01f91e10b2 change CodeMirror cdn před 5 roky
platform cd0e8f5c41 auto select session implement when `start_server` před 5 roky
session 72eec915c5 `run_async` return TaskHandle, which can be used later to close the task před 5 roky
__init__.py 17cdb6378b use `session_type` parameter in `start_server` to select Session implement před 5 roky
exceptions.py f728eaa65c auto start server in script mode when not explict invoke `start_server` před 5 roky
input.py d41c28bfa9 `input` support FLOAT type před 5 roky
io_ctrl.py 014e164db8 change some code naming před 5 roky
output.py b69a0c1fb2 improve `put_table` func před 5 roky
utils.py f728eaa65c auto start server in script mode when not explict invoke `start_server` před 5 roky