• R/O
  • SSH

Joypy: コミット

Main interpreter and library.


コミットメタ情報

リビジョンd21c31c2700370c9d1e63d36f1883f11cbf6f5b9 (tree)
日時2019-08-19 04:17:37
作者Simon Forman <sforman@hush...>
コミッターSimon Forman

ログメッセージ

minor cleanup

変更サマリ

差分

diff -r 727fdf55ae85 -r d21c31c27003 thun/gnu-prolog/fork.pl
--- a/thun/gnu-prolog/fork.pl Sun Aug 18 11:47:48 2019 -0700
+++ b/thun/gnu-prolog/fork.pl Sun Aug 18 12:17:37 2019 -0700
@@ -11,27 +11,23 @@
1111 fork_prolog(ChildPID),
1212 bar(ChildPID, In, Out, Expr, Stack).
1313
14-bar(0, In, Out, Expr, Stack) :-
15- close(In),
14+bar(0, In, Out, Expr, Stack) :- close(In),
1615 thun(Expr, Stack, [Result|_]),
17- w(Out, Result),
18- close(Out),
16+ w(Out, Result), close(Out),
1917 halt.
2018
2119 bar(PID, _, Out, _, _) :-
22- integer(PID),
23- PID =\= 0,
20+ integer(PID), PID =\= 0,
2421 close(Out).
2522
2623 read_pipe(In, Result) :-
2724 select([In], R, [], _, 1500),
28- (R=[In] ->
29- read(In, Result)
30- ;
31- Result=timeout
32- ),
25+ read_pipe_(R, In, Result),
3326 close(In).
3427
28+read_pipe_([In], In, Result) :- read(In, Result).
29+read_pipe_( [], _, timeout).
30+
3531 mkpipe(In, Out) :-
3632 create_pipe(In, Out),
3733 set_stream_buffering(Out, none),
旧リポジトリブラウザで表示