FIXED: json_skip_ws/3: Pass exception.

JanWielemaker · JanWielemaker · commit 88bb0b2459bb · 2025-05-02T18:32:58.000+02:00
diff --git a/json.c b/json.c
@@ -167,6 +167,8 @@ json_skip_ws(term_t stream, term_t c0, term_t next)
     } while ( is_ws(c) );
 
     PL_release_stream(in);
+    if ( c == -1 && Sferror(in) )
+      return false;
   }
 
   return PL_unify_integer(next, c);

Original file line number	Diff line number	Diff line change
`@@ -167,6 +167,8 @@ json_skip_ws(term_t stream, term_t c0, term_t next)`
`167`	`167`	`} while ( is_ws(c) );`
`168`	`168`
`169`	`169`	`PL_release_stream(in);`
	`170`	`+ if ( c == -1 && Sferror(in) )`
	`171`	`+ return false;`
`170`	`172`	`}`
`171`	`173`
`172`	`174`	`return PL_unify_integer(next, c);`