Index: wpkg.js =================================================================== --- wpkg.js (Revision 181) +++ wpkg.js (Arbeitskopie) @@ -2346,8 +2346,9 @@ var profileNodes = hostNode.selectNodes("profile"); if (profileNodes != null) { - for (var iProfile=0; iProfile