/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

  • Committer: Teddy Hogeborn
  • Date: 2019-11-03 18:44:41 UTC
  • mto: This revision was merged to the branch mainline in revision 396.
  • Revision ID: teddy@recompile.se-20191103184441-1vhjuf06hjqgfohh
mandos-monitor: Use Python's standard loggging module

* mandos-monitor: Use Python's standard loggging module, also for
                  warnings.  Suppress BytesWarning from urwid when
                  exiting.
  (log): New global logger object.  This replaces UserInterface
        log_message().
  (MandosClientWidget.__init__): Remove "logger" argument.
  (MandosClientWidget.using_timer): Wrap self.update_timer using new
                                    glib_safely() function.
  (glib_safely): New function to log any exceptions instead of letting
                 exceptions propagate up to GLib.
  (UserInterface.__init__): Remove "log_level" argument.  Set new
                            "loghandler" attribute, instance of new
                            "UILogHandler".
  (UserInterface.log_message): Removed.
  (UserInterface.log_message_raw): Renamed to "add_log_line"; all
                                   callers changed.  Also fix
                                   off-by-one error in max_log_length
                                   logic.
  (UserInterface.run): Add self.loghandler to logger "log". Wrap
                       self.process_input using new glib_safely()
                       function.
  (UserInterface.stop): Remove self.loghandler from logger "log".
  (UserInterface.process_input): Make verbosity toggle affect log
                                 level of logger "log".
  (UILogHandler): New.

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