Azat Khuzhin 626f47e044 Convert history file from readline format to replxx format ... replxx requires each history line to prepended with time line: ### YYYY-MM-DD HH:MM:SS.SSS select 1 And w/o those service lines it will load all lines from history file as one history line for suggestion. And if there are lots of lines in file it will take lots of time (getline() + tons of reallocations).		2021-06-30 22:06:16 +03:00
..
0_stateless	Convert history file from readline format to replxx format	2021-06-30 22:06:16 +03:00
1_stateful
bugs
__init__.py
conftest.py
pytest.ini
query_test.py
server.py
shell_config.sh	Update shell_config.sh	2021-06-23 19:37:57 +03:00
skip_list.json	Convert history file from readline format to replxx format	2021-06-30 22:06:16 +03:00