diff options
Diffstat (limited to 'myrpki/start-servers.sh')
| -rw-r--r-- | myrpki/start-servers.sh | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/myrpki/start-servers.sh b/myrpki/start-servers.sh deleted file mode 100644 index c9460d42..00000000 --- a/myrpki/start-servers.sh +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/sh - -# $Id$ -# -# Copyright (C) 2009 Internet Systems Consortium ("ISC") -# -# Permission to use, copy, modify, and distribute this software for any -# purpose with or without fee is hereby granted, provided that the above -# copyright notice and this permission notice appear in all copies. -# -# THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH -# REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY -# AND FITNESS. IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT, -# INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM -# LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE -# OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR -# PERFORMANCE OF THIS SOFTWARE. - -: ${rpkid_dir=../rpkid} -: ${want_pubd=no} -: ${want_rootd=no} - -python ${rpkid_dir}/irdbd.py -c myrpki.conf >> irdbd.log 2>&1 & -python ${rpkid_dir}/rpkid.py -c myrpki.conf >> rpkid.log 2>&1 & - -if test "$want_pubd" = "yes" -then - python ${rpkid_dir}/pubd.py -c myrpki.conf >> pubd.log 2>&1 & -fi - -if test "$want_rootd" = "yes" -then - python ${rpkid_dir}/rootd.py -c myrpki.conf >> rootd.log 2>&1 & -fi |