]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Eat all sorts of whitespace when splitting a string.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Sun, 2 Dec 2007 04:50:02 +0000 (04:50 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Sun, 2 Dec 2007 04:50:02 +0000 (04:50 +0000)
git-svn-id: https://svn.dealii.org/trunk@15567 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/expand_instantiations.cc

index e32d697c1de69d0a3f504a03170a362548894524..bad978db628aabec663e65ba2193db5580d4336f 100644 (file)
@@ -139,10 +139,8 @@ split_string_list (const std::string &s,
        }
       else
        tmp = "";
-      
-      while ((name.length() != 0) &&
-            (name[0] == ' '))
-       name.erase (0,1);
+
+      skip_space (name);
 
       while (name[name.length()-1] == ' ')
        name.erase (name.length()-1, 1);

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.