diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/misc/xend | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/tools/misc/xend b/tools/misc/xend index 7cb617630d..2cbdf6175c 100644 --- a/tools/misc/xend +++ b/tools/misc/xend @@ -77,6 +77,10 @@ def check_user(): hline() raise CheckError("invalid user") +def start_daemon(daemon, *args): + if os.fork() == 0: + os.execvp(daemon, (daemon,) + args) + def start_xenstored(): pidfname = "/var/run/xenstore.pid" try: @@ -102,13 +106,15 @@ def start_xenstored(): s,o = commands.getstatusoutput(cmd) def start_consoled(): - if os.fork() == 0: - os.execvp('xenconsoled', ['xenconsoled']) + XENCONSOLED_TRACE = os.getenv("XENCONSOLED_TRACE") + args = "" + if XENCONSOLED_TRACE: + args += "--log=" + XENCONSOLED_TRACE + start_daemon("xenconsoled", args) def start_blktapctrl(): - if os.fork() == 0: - os.execvp('blktapctrl', ['blktapctrl']) - + start_daemon("blktapctrl", "") + def main(): try: check_logging() |