diff options
author | Chris Wilson <chris+github@qwirx.com> | 2008-08-03 06:57:27 +0000 |
---|---|---|
committer | Chris Wilson <chris+github@qwirx.com> | 2008-08-03 06:57:27 +0000 |
commit | 9d7aeb229f2e4042723c8f11e0eaa7512d214276 (patch) | |
tree | 478220069699116918f2b656c9d8e1c99c46f4b3 /infrastructure/makebuildenv.pl.in | |
parent | cd77024172fd0e5d0d0d3b357609ee64db899698 (diff) |
Kill running daemons using kill -f on Windows (cygwin) which kills
by Windows PID.
Diffstat (limited to 'infrastructure/makebuildenv.pl.in')
-rwxr-xr-x | infrastructure/makebuildenv.pl.in | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/infrastructure/makebuildenv.pl.in b/infrastructure/makebuildenv.pl.in index 3b15170b..52e90b50 100755 --- a/infrastructure/makebuildenv.pl.in +++ b/infrastructure/makebuildenv.pl.in @@ -408,13 +408,27 @@ for my $mod (@implicit_deps, @modules) "test script file for $module for writing\n"; print TESTFILE "#!/bin/sh\necho TEST: $module\n"; - if(-d "$module/testfiles") + if (-d "$module/testfiles") + { + if ($target_windows) + { + print TESTFILE <<__E; +echo Killing any running daemons... +test -r testfiles/bbackupd.pid && /bin/kill -f `cat testfiles/bbackupd.pid` +test -r testfiles/bbstored.pid && /bin/kill -f `cat testfiles/bbstored.pid` +__E + } + else { print TESTFILE <<__E; echo Killing any running daemons... test -r testfiles/bbackupd.pid && kill `cat testfiles/bbackupd.pid` test -r testfiles/bbstored.pid && kill `cat testfiles/bbstored.pid` +__E + } + + print TESTFILE <<__E; echo Removing old test files... chmod -R a+rwx testfiles rm -rf testfiles |