/mandos/release

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/release

« back to all changes in this revision

Viewing changes to initramfs-tools-script-stop

* DBUS-API: Document new "Expires" and "ExtendedTimeout" properties.
* README: Refer to the installed manual page more simply.
* mandos (Client.extended_timeout, Client.expires): New attributes.
  (Client.extended_timeout_milliseconds): New.
  (Client.__init__, Client.enable, Client.disable): Set new attributes.
  (Client.checked_ok): Take new "timeout" argument.
  (ClientDBus.expires): Transform into a property which sends a D-Bus
                        signal when changed.
  (ClientDBus._datetime_to_dbus): Return empty D-Bus string on None.
                                  All callers changed to use this.

  (ClientDBus.ApprovedByDefault_dbus_property,
  ClientDBus.ApprovalDelay_dbus_property,
  ClientDBus.ApprovalDuration_dbus_property,
  ClientDBus.Host_dbus_property, ClientDBus.Timeout_dbus_property,
  ClientDBus.Interval_dbus_property,
  ClientDBus.Checker_dbus_property): Bug fix: Only send D-Bus signal
                                     if new value is different.
  (ClientDBus.Timeout_dbus_property): Use new "expires" attribute.
  (ClientDBus.Expires_dbus_property,
  ClientDBus.ExtendedTimeout_dbus_property): New D-Bus properties.
  (ClientHandler.handle): Bump time using extended_timeout value.
  (main.client_defaults): Change default values of "timeout" and
                          "interval", added new default value for
                          "extended_timeout".
* mandos-clients.conf.xml (OPTIONS): Changed default values of
                                     "interval" and "timeout".  Add
                                     new "extended_timeout" option.
  (EXAMPLE): Updated default values.
* mandos-ctl: Show new "ExtendedTimeout" D-Bus property and change it
              using new "--extended-timeout" option.
* mandos-ctl.xml (SYNOPSIS, OPTIONS): Document new
                                      "--extended-timeout" option.
* mandos-monitor (MandosClientWidget.update): Use new "Expires" D-Bus
                                              property.
* mandos.xml (DESCRIPTION): Add reference to intro(8mandos) manual
                            page.
  (CHECKING): Refer to the new "extended_timeout" option in
  clients.conf.

Show diffs side-by-side

added added

removed removed

Lines of Context:
initramfs-tools-script-stop
1
 
#!/bin/sh -e
2
 
# 
3
 
# Script to wait for plugin-runner to exit before continuing boot
4
 
# 
5
 
# Copyright © 2018 Teddy Hogeborn
6
 
# Copyright © 2018 Björn Påhlsson
7
 
# 
8
 
# This file is part of Mandos.
9
 
# 
10
 
# Mandos is free software: you can redistribute it and/or modify it
11
 
# under the terms of the GNU General Public License as published by
12
 
# the Free Software Foundation, either version 3 of the License, or
13
 
# (at your option) any later version.
14
 
# 
15
 
#     Mandos is distributed in the hope that it will be useful, but
16
 
#     WITHOUT ANY WARRANTY; without even the implied warranty of
17
 
#     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
18
 
#     GNU General Public License for more details.
19
 
# 
20
 
# You should have received a copy of the GNU General Public License
21
 
# along with Mandos.  If not, see <http://www.gnu.org/licenses/>.
22
 
# 
23
 
# Contact the authors at <mandos@recompile.se>.
24
 
# 
25
 
# This script will run in the initrd environment at boot and remove
26
 
# the file keeping the dummy plugin running, forcing plugin-runner to
27
 
# exit if it is still running.
28
 
 
29
 
# This script should be installed as
30
 
# "/usr/share/initramfs-tools/scripts/local-premount/mandos" which will
31
 
# eventually be "/scripts/local-premount/mandos" in the initrd.img
32
 
# file.
33
 
 
34
 
PREREQ=""
35
 
prereqs()
36
 
{
37
 
    echo "$PREREQ"
38
 
}
39
 
 
40
 
case $1 in
41
 
prereqs)
42
 
        prereqs
43
 
        exit 0
44
 
        ;;
45
 
esac
46
 
 
47
 
. /scripts/functions
48
 
 
49
 
pid=$(cat /run/mandos-plugin-runner.pid 2>/dev/null)
50
 
 
51
 
# If the dummy plugin is running, removing this file should force the
52
 
# dummy plugin to exit successfully, thereby making plugin-runner shut
53
 
# down all its other plugins and then exit itself.
54
 
rm -f /run/mandos-keep-running >/dev/null 2>&1
55
 
 
56
 
# Wait for exit of plugin-runner, if still running
57
 
if [ -n "$pid" ]; then
58
 
    while :; do
59
 
        case "$(readlink /proc/"$pid"/exe 2>/dev/null)" in
60
 
            */plugin-runner) sleep 1;;
61
 
            *) break;;
62
 
        esac
63
 
    done
64
 
    rm -f /run/mandos-plugin-runner.pid >/dev/null 2>&1
65
 
fi