public class Preferences
extends GPreferences
{
- /** Holds name and link separated with | character. Sequence ID must be $SEQUENCE_ID$ */
+ /** Holds name and link separated with | character. Sequence ID must be $SEQUENCE_ID$ or $SEQUENCE_ID=/.possible | chars ./=$ */
public static Vector sequenceURLLinks;
static
{
StringTokenizer st = new StringTokenizer(string, "|");
while (st.hasMoreElements())
{
- sequenceURLLinks.addElement(st.nextToken() + "|" + st.nextToken());
+ String name=st.nextToken();
+ String url= st.nextToken();
+ // check for '|' within a regex
+ int rxstart = url.indexOf("$SEQUENCE_ID$");
+ while (rxstart==-1 && url.indexOf("/=$")==-1)
+ {
+ url = url + "|" + st.nextToken();
+ }
+ sequenceURLLinks.addElement(name + "|" + url);
}
}
catch (Exception ex)