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