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.

.github/workflows/build.yml

@@ -67,6 +67,8 @@ jobs:
   ubuntu-latest-cmake-sanitizer:
     runs-on: ubuntu-latest
 
+    continue-on-error: true
+
     strategy:
       matrix:
         sanitizer: [ADDRESS, THREAD, UNDEFINED]

convert-pth-to-ggml.py

@@ -161,7 +161,7 @@ def main():
 
     for p in range(n_parts):
 
-        print(f"Processing part {p}\n")
+        print(f"Processing part {p+1} of {n_parts}\n")
 
         fname_model = f"{dir_model}/consolidated.0{p}.pth"
         fname_out = f"{dir_model}/ggml-model-{ftype_str[ftype]}.bin{'' if p == 0 else '.' + str(p)}"

examples/main/main.cpp

@@ -450,7 +450,10 @@ int main(int argc, char ** argv) {
                 std::string line;
                 bool another_line = true;
                 do {
-                    std::getline(std::cin, line);
+                    if (!std::getline(std::cin, line)) {
+                        // input stream is bad or EOF received
+                        return 0;
+                    }
                     if (line.empty() || line.back() != '\\') {
                         another_line = false;
                     } else {