etc/options
changeset 62409 e391528eff3b
parent 62115 57895801cb57
child 62498 5dfcc9697f29
     1.1 --- a/etc/options	Thu Feb 25 13:58:48 2016 +0000
     1.2 +++ b/etc/options	Thu Feb 25 16:16:29 2016 +0100
     1.3 @@ -96,7 +96,10 @@
     1.4    -- "scale factor for session timeout"
     1.5  
     1.6  option process_output_limit : int = 100
     1.7 -  -- "build process output limit in million characters (0 = unlimited)"
     1.8 +  -- "build process output limit (in million characters, 0 = unlimited)"
     1.9 +
    1.10 +option process_output_tail : int = 40
    1.11 +  -- "build process output tail shown to user (in lines, 0 = unlimited)"
    1.12  
    1.13  
    1.14  section "ML System"