$addtok(text,token,C)
Adds a token to the end of text but only if it is not already in text.
//echo -ag $addtok(a.b.c,d,46) returns a.b.c.d //echo -ag $addtok(a.b.c.d,c,46) returns a.b.c.d
The C parameter is the ascii value of the character separating the tokens.
$addtok is case-insenseive, see $addtokcs for case-sensetive version.