1# ==== Purpose ==== 2# 3# Shut down and shut up the server given by $rpl_server_number. This 4# is equivalent to rpl_stop_server.inc followed by rpl_start_server.inc 5# 6# ==== Usage ==== 7# 8# --let $rpl_server_number= N 9# [--let $rpl_server_parameters= --flag1 --flag2 ...] 10# [--let $rpl_debug= 1] 11# --source include/rpl_restart_server.inc 12# 13# Parameters: 14# 15# $rpl_server_number, $rpl_server_parameters 16# See include/rpl_start_server.inc 17# 18# $rpl_debug 19# See include/rpl_init.inc 20# 21# ==== See also ==== 22# 23# rpl_start_server.inc 24# rpl_stop_server.inc 25 26 27--let $_rpl_restart_server_args= [server_number=$rpl_server_number] 28if ($rpl_server_parameters) 29{ 30 --let $_rpl_restart_server_args= [server_number=$rpl_server_number parameters: $rpl_server_parameters] 31} 32--let $include_filename= rpl_restart_server.inc $_rpl_restart_server_args 33--source include/begin_include_file.inc 34 35--source include/rpl_stop_server.inc 36--source include/rpl_start_server.inc 37 38--let $include_filename= rpl_restart_server.inc $_rpl_restart_server_args 39--source include/end_include_file.inc 40