$addtok¶

$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.