diff options
| author | petr@mysql.com <> | 2005-05-16 01:54:02 +0400 |
|---|---|---|
| committer | petr@mysql.com <> | 2005-05-16 01:54:02 +0400 |
| commit | 180d0ed620d573cca5709f4e221e57a641f357df (patch) | |
| tree | c34a10d30055a4de902dd7001ead6591c91a909c /server-tools/instance-manager/manager.cc | |
| parent | 0584756fb4bb0e43952da99a8c3e6c29a89a8396 (diff) | |
| download | mariadb-git-180d0ed620d573cca5709f4e221e57a641f357df.tar.gz | |
post-review fixes
Diffstat (limited to 'server-tools/instance-manager/manager.cc')
| -rw-r--r-- | server-tools/instance-manager/manager.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/server-tools/instance-manager/manager.cc b/server-tools/instance-manager/manager.cc index fd8673c4d66..a4c81739b17 100644 --- a/server-tools/instance-manager/manager.cc +++ b/server-tools/instance-manager/manager.cc @@ -197,8 +197,7 @@ void manager(const Options &options) goto err; } - switch (signo) - { + switch (signo) { case THR_SERVER_ALARM: process_alarm(signo); break; |