| 878 | } |
| 879 | |
| 880 | void PushTableLogString(PushTableLogger& logger, const char* s) |
| 881 | { |
| 882 | size_t len = strlen(s); |
| 883 | for (size_t i = 0; i < len; i++) |
| 884 | { |
| 885 | PushTableLogChar(logger, s[i]); |
| 886 | } |
| 887 | } |
| 888 | |
| 889 | void PushTableLogFormat(PushTableLogger& logger, const char *format, ...) |
| 890 | { |