aboutsummaryrefslogtreecommitdiff
path: root/contrib/scripts/terminate.py.in
diff options
context:
space:
mode:
Diffstat (limited to 'contrib/scripts/terminate.py.in')
-rw-r--r--contrib/scripts/terminate.py.in15
1 files changed, 5 insertions, 10 deletions
diff --git a/contrib/scripts/terminate.py.in b/contrib/scripts/terminate.py.in
index c6acfdba8..f3cfb23f5 100644
--- a/contrib/scripts/terminate.py.in
+++ b/contrib/scripts/terminate.py.in
@@ -2,20 +2,15 @@
2# This file is part of GNUnet. 2# This file is part of GNUnet.
3# (C) 2011, 2018 Christian Grothoff (and other contributing authors) 3# (C) 2011, 2018 Christian Grothoff (and other contributing authors)
4# 4#
5# GNUnet is free software; you can redistribute it and/or modify 5# GNUnet is free software: you can redistribute it and/or modify it
6# it under the terms of the GNU General Public License as published 6# under the terms of the GNU Affero General Public License as published
7# by the Free Software Foundation; either version 2, or (at your 7# by the Free Software Foundation, either version 3 of the License, or
8# option) any later version. 8# (at your option) any later version.
9# 9#
10# GNUnet is distributed in the hope that it will be useful, but 10# GNUnet is distributed in the hope that it will be useful, but
11# WITHOUT ANY WARRANTY; without even the implied warranty of 11# WITHOUT ANY WARRANTY; without even the implied warranty of
12# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 12# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13# General Public License for more details. 13# Affero General Public License for more details.
14#
15# You should have received a copy of the GNU General Public License
16# along with GNUnet; see the file COPYING. If not, write to the
17# Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
18# Boston, MA 02110-1301, USA.
19# 14#
20# Utility module that implements safe process termination for W32. 15# Utility module that implements safe process termination for W32.
21# For other platforms it's equivalent to Popen.kill () 16# For other platforms it's equivalent to Popen.kill ()