equal
deleted
inserted
replaced
94 |
94 |
95 option timeout_scale : real = 1.0 |
95 option timeout_scale : real = 1.0 |
96 -- "scale factor for session timeout" |
96 -- "scale factor for session timeout" |
97 |
97 |
98 option process_output_limit : int = 100 |
98 option process_output_limit : int = 100 |
99 -- "build process output limit in million characters (0 = unlimited)" |
99 -- "build process output limit (in million characters, 0 = unlimited)" |
|
100 |
|
101 option process_output_tail : int = 40 |
|
102 -- "build process output tail shown to user (in lines, 0 = unlimited)" |
100 |
103 |
101 |
104 |
102 section "ML System" |
105 section "ML System" |
103 |
106 |
104 public option ML_exception_trace : bool = false |
107 public option ML_exception_trace : bool = false |