diff options
| author | Harald Fernengel <harald.fernengel@here.com> | 2023-03-26 07:25:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-26 08:25:46 +0300 |
| commit | 33e35b8fe8f09adcac0632e9cece62e1dd629f7d (patch) | |
| tree | 70c6a0731dbd08f458e8ab775f3b589f3e708484 /examples/embedding | |
| parent | 19726169b379bebc96189673a19b89ab1d307659 (diff) | |
Exit from interactive mode if input stream is bad (#491)
Allow exiting the interactive prompt also with CTRL-D on Unix and CTRL-Z
on Windows.
Diffstat (limited to 'examples/embedding')
0 files changed, 0 insertions, 0 deletions