45 lines
885 B
INI
45 lines
885 B
INI
[judge]
|
|
schedule_ip=30.30.30.2
|
|
schedule_port=8100
|
|
sub_nos_state_port=8200
|
|
|
|
pluginsctrl_ip=172.18.0.1
|
|
pluginsctrl_port=8301
|
|
|
|
nos1_ip=10.10.10.241
|
|
nos2_ip=10.10.10.242
|
|
nos3_ip=10.10.10.243
|
|
nos4_ip=10.10.10.244
|
|
|
|
config_manager_ip=192.168.0.250
|
|
|
|
running_num=3
|
|
nos_num=3
|
|
|
|
[judge_sys_info]
|
|
nos_report_port=7002
|
|
msg_time_out=3000
|
|
sys_shell_log_name=history
|
|
sys_login_log_name=wtmp
|
|
process_manager_name=manager
|
|
process_protocol_name=protocol
|
|
process_local_cfgm_name=localcfgmanager
|
|
process_firewall=firewall
|
|
|
|
cpu_occupy_max=900
|
|
mem_occupy_max=900
|
|
tcp_socket_max=30
|
|
process_max=500
|
|
cron_max=20
|
|
path_file_max=500
|
|
home_file_max=100
|
|
user_md5=155c0f8a0aca2bfa5f2e85a32be41803
|
|
group_md5=62bc68396162fda049d1ba7c7d04eb54
|
|
config_manager_md5=62bc68396162fda049d1ba7c7d04eb54
|
|
auto_start_md5=62bc68396162fda049d1ba7c7d04eb54
|
|
|
|
[trans]
|
|
trans_send_ip=192.168.0.250
|
|
trans_send_port=6677
|
|
trans_recv_port=8899
|