Как выйти из replxx с помощью SigInt из другого потока ⇐ C++

[Anonymous]

Я использую replxx как современный инструмент командной строки. Я нашел пример, но в этом примере только один поток. Я делаю отдельный поток для replxx, из основного потока я хочу попросить replxx выйти... Как это сделать?
Я уже создавал подобную тему, она тоже про многопоточность, но про другую функцию , я хочу выйти..

Подробнее здесь: https://stackoverflow.com/questions/783 ... her-thread