$result=str_replace(' ,',',',$result);\r
$result=str_replace('- ','-',$result);\r
$result=str_replace('+','',$result);\r
+\r
+ // remove double spaces (we might have introduced some new ones above)\r
+ $result=trim($result);\r
+ $result=preg_replace("/([[:space:]]{2,})/",' ',$result);\r
+\r
// apply arbitrary function to all 'word' atoms\r
\r
$result_a = explode(" ",$result);\r
*/\r
\r
}\r
-?>
\ No newline at end of file
+?>\r