#!/bin/bash
# detener
start-stop-daemon --stop --signal QUIT --quiet --oknodo --pidfile tmp/pids/production.pid
start-stop-daemon --stop --signal QUIT --quiet --oknodo --pidfile tmp/pids/server.pid