diff options
| author | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-08-01 18:11:35 +0300 |
|---|---|---|
| committer | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-08-01 18:11:35 +0300 |
| commit | faaf0bdf874037a8b4607d3f3f38e1eb837eff19 (patch) | |
| tree | f2d53c934bef3ae684e4140c95d3e64ef870f1fe /moses/Parameter.cpp | |
| parent | 51bc36d131128d103aeecda4204d75aa95411247 (diff) | |
Reorganization of server options. Added options for sesssion cache.
Diffstat (limited to 'moses/Parameter.cpp')
| -rw-r--r-- | moses/Parameter.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/moses/Parameter.cpp b/moses/Parameter.cpp index 4a0941521..31bba1c14 100644 --- a/moses/Parameter.cpp +++ b/moses/Parameter.cpp @@ -214,6 +214,10 @@ Parameter::Parameter() AddParam(server_opts,"server", "Run moses as a translation server."); AddParam(server_opts,"server-port", "Port for moses server"); AddParam(server_opts,"server-log", "Log destination for moses server"); + AddParam(server_opts,"session-timeout", + "Timeout for sessions, e.g. '2h30m' or 1d (=24h)"); + AddParam(server_opts,"session-cache-size", string("Max. number of sessions cached.") + +"Least recently used session is dumped first."); AddParam(server_opts,"serial", "Run server in serial mode, processing only one request at a time."); po::options_description irstlm_opts("IRSTLM Options"); |