equal
deleted
inserted
replaced
10 |
10 |
11 local dependencies = require "util.dependencies"; |
11 local dependencies = require "util.dependencies"; |
12 |
12 |
13 local original_logging_config; |
13 local original_logging_config; |
14 |
14 |
15 local default_gc_params = { mode = "incremental", threshold = 105, speed = 250 }; |
15 local default_gc_params = { |
|
16 mode = "incremental"; |
|
17 -- Incremental mode defaults |
|
18 threshold = 105, speed = 500; |
|
19 -- Generational mode defaults |
|
20 minor_threshold = 20, major_threshold = 50; |
|
21 }; |
16 |
22 |
17 local short_params = { D = "daemonize", F = "no-daemonize" }; |
23 local short_params = { D = "daemonize", F = "no-daemonize" }; |
18 local value_params = { config = true }; |
24 local value_params = { config = true }; |
19 |
25 |
20 function startup.parse_args() |
26 function startup.parse_args() |