-// -*- C++ -*-
/* This file is part of
* ======================================================
*
vector<string> r;
string tmp, keys( params.getContents() );
keys = frontStrip( split(keys, tmp, ',') );
- while( !tmp.empty() )
+ while ( !tmp.empty() )
{
r.clear();
r.push_back(tmp);