src/server/config/serverconfig.c

changeset 423
bb7cff720dd0
parent 422
76f2f5d532d0
child 424
3df9258cd3cc
--- a/src/server/config/serverconfig.c	Wed Nov 09 11:51:19 2022 +0100
+++ b/src/server/config/serverconfig.c	Sat Nov 12 11:01:11 2022 +0100
@@ -96,6 +96,15 @@
     return root;
 }
 
+static int scfg_char_is_delim(char c) {
+    static const char *scfg_tokenizer_delim = "()+-/*%";
+    for(int i=0;i<sizeof(scfg_tokenizer_delim)-1;i++) {
+        if(c == scfg_tokenizer_delim[i]) {
+            return 1;
+        }
+    }
+    return 0;
+}
 
 static CFGToken get_next_token(cxstring content, int *pos) {
     CFGToken token = { {NULL, 0}, CFG_NO_TOKEN };
@@ -155,7 +164,7 @@
             if(token_begin < 0) {
                 token_begin = i;
             }
-        } else if(c == '(' || c == ')') {
+        } else if(scfg_char_is_delim(c)) {
             if(token_begin >= 0) {
                 token_end = i;
                 i--;

mercurial