[m-rev.] diff: fix bug in io.call_system_code on java

[Peter Wang]

Branches: main, 10.04

library/io.m:
        Make `io.call_system_code' on Java never return a null string.

diff --git a/library/io.m b/library/io.m
index a801fcc..cf9946d 100644
--- a/library/io.m
+++ b/library/io.m
@@ -9897,7 +9897,7 @@ command_line_argument(_, "") :-
         stderr.start();
 
         Status  = process.waitFor();
-        Msg = null;
+        Msg = """";
 
         // The stdin StreamPipe is killed off after the Process is finished
         // so as not to waste CPU cycles with a pointless thread.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------