touch

diff --git a/ext/standard/var_unserializer.c b/ext/standard/var_unserializer.c
index ea9a11be4744c9e78ded9404a5daedd0862be1f4..f5548775012ad1af144bdc7a17ac7c81601a8ad5 100644 (file)
--- a/ext/standard/var_unserializer.c
+++ b/ext/standard/var_unserializer.c
@@ -1,4 +1,4 @@
-/* Generated by re2c 0.9.6 on Sun Jun 12 02:54:02 2005 */
+/* Generated by re2c 0.9.6 on Mon Jun 13 17:14:18 2005 */
 #line 1 "/usr/src/php/php_4_4/ext/standard/var_unserializer.re"
 /*
    +----------------------------------------------------------------------+
@@ -545,7 +545,7 @@ yy23:
        class_name = str_tolower_copy((char *)emalloc(len+1), class_name, len);
        class_name[len] = '\0';
        
-       len3 = strspn(class_name, "0123456789_abcdefghijklmnopqrstuvwxyz");
+       len3 = strspn(class_name, "0123456789_abcdefghijklmnopqrstuvwxyz\177\200\201\202\203\204\205\206\207\210\211\212\213\214\215\216\217\220\221\222\223\224\225\226\227\230\231\232\233\234\235\236\237\240\241\242\243\244\245\246\247\250\251\252\253\254\255\256\257\260\261\262\263\264\265\266\267\270\271\272\273\274\275\276\277\300\301\302\303\304\305\306\307\310\311\312\313\314\315\316\317\320\321\322\323\324\325\326\327\330\331\332\333\334\335\336\337\340\341\342\343\344\345\346\347\350\351\352\353\354\355\356\357\360\361\362\363\364\365\366\367\370\371\372\373\374\375\376\377");
        if (len3 != len)
        {
                *p = YYCURSOR + len3 - len;