From: bangerth Date: Wed, 3 Sep 2008 11:21:35 +0000 (+0000) Subject: Add braces as suggested by recent gcc versions. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7e19f0efc86344da301b7384854646c9951fe1d7;p=dealii-svn.git Add braces as suggested by recent gcc versions. git-svn-id: https://svn.dealii.org/trunk@16722 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/contrib/hsl/source/detached_ma27.cc b/deal.II/contrib/hsl/source/detached_ma27.cc index b18216c616..33962d6d36 100644 --- a/deal.II/contrib/hsl/source/detached_ma27.cc +++ b/deal.II/contrib/hsl/source/detached_ma27.cc @@ -2,7 +2,7 @@ // $Id$ // Version: $Name$ // -// Copyright (C) 2002, 2003, 2006, 2007 by the deal.II authors +// Copyright (C) 2002, 2003, 2006, 2007, 2008 by the deal.II authors // // This file is subject to QPL and may not be distributed // without copyright and license information. Please refer @@ -86,17 +86,19 @@ void monitor_parent_liveness (const pid_t master_pid, { int ret = kill (master_pid, 0); if (ret != 0) - if ((ret == -1) && (errno == ESRCH)) - die ("Master process seems to have died!", primary_pid); - else - die ("Unspecified error while checking for other process!", - ret, errno, primary_pid); - + { + if ((ret == -1) && (errno == ESRCH)) + die ("Master process seems to have died!", primary_pid); + else + die ("Unspecified error while checking for other process!", + ret, errno, primary_pid); + } + // ok, master still running, // take a little rest and then // ask again sleep (10); - }; + } }