diff options
author | Camil Staps | 2017-02-08 17:17:59 +0100 |
---|---|---|
committer | Camil Staps | 2017-02-08 17:17:59 +0100 |
commit | dde4f8bad104b44db97eab26d0be864d7cefe000 (patch) | |
tree | f561edc41399412cdc194241db0aa3d8aa833946 /CLPM/Util.icl | |
parent | Improved installation (diff) |
Propagate clm return code
Diffstat (limited to 'CLPM/Util.icl')
-rw-r--r-- | CLPM/Util.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CLPM/Util.icl b/CLPM/Util.icl index 282c580..cea514c 100644 --- a/CLPM/Util.icl +++ b/CLPM/Util.icl @@ -80,7 +80,7 @@ where = (Error $ server_name + " hung up during transmission.", chan, w) = receiveRest {resp & rsp_data=resp.rsp_data + toString (fromJust newresp)} chan w -syscall :: !String !*World -> !*(!Int, !*World) +syscall :: !String !*World -> *(!Int, !*World) syscall cmd w = code { ccall system "s:I:A" } |