#!/bin/bash
sh /var/www/rubedo_dev/server/restart_server.sh
sh /var/www/rubedo_pr/server_pr/restart_server.sh
sh /var/www/rubedo_stable/server_stable/restart_server.sh

sh /var/www/rubedo_monitor/server_monitor/restart_server.sh