urlbot
|
e85cc3a148
|
fix time_t exceeding
|
2014-10-29 13:12:41 +01:00 |
|
urlbot
|
0811e30b82
|
add plugin argv0; fix wrong offset on argv1
|
2014-10-29 13:05:23 +01:00 |
|
urlbot
|
76fd48485c
|
add plugin argv; add user-settable teatimer timeout
|
2014-10-29 13:02:27 +01:00 |
|
urlbot
|
0b56d21101
|
bugfixing as pylint, pyflakes suggest
|
2014-10-20 07:46:05 +02:00 |
|
urlbot
|
29981b776a
|
"decode": add hex value to output
|
2014-10-14 16:38:12 +02:00 |
|
urlbot
|
7d60a5861e
|
add plugin/command_decode(): translate unicode->text
|
2014-10-13 18:23:51 +02:00 |
|
urlbot
|
75dd68733f
|
more precise "teatimer" help
|
2014-09-29 19:26:36 +02:00 |
|
urlbot
|
1ddd43c274
|
a "teatimer" implemented
|
2014-09-29 19:15:00 +02:00 |
|
urlbot
|
eba70a5ed0
|
plugin debugging enabled
|
2014-09-28 22:44:42 +02:00 |
|
urlbot
|
acc5242de0
|
Python3 migration; trashed e(); html->html_text rename
|
2014-09-28 18:08:18 +02:00 |
|
urlbot
|
ab63828019
|
fix multi-line plugin output
|
2014-09-27 16:50:19 +02:00 |
|
urlbot
|
ead248e7fa
|
fix for multi-line output, e.g. "unikot"
|
2014-09-27 16:25:29 +02:00 |
|
urlbot
|
afd79c49a6
|
fix "help" globbing
|
2014-09-27 16:15:01 +02:00 |
|
urlbot
|
951054aff5
|
add modul. "help"; prep "save"; add {desc}
|
2014-09-27 16:06:26 +02:00 |
|
urlbot
|
e721c328f7
|
moved VERSION stuff to common.py
|
2014-09-27 09:41:29 +02:00 |
|
urlbot
|
aae684170d
|
moved common stuff to common.py; import adjustments
|
2014-09-27 09:19:46 +02:00 |
|
urlbot
|
f411e1be4d
|
scope fixes; moved VERSION to conf()
|
2014-09-27 06:12:34 +02:00 |
|
urlbot
|
7c9e5e154b
|
scope fixes; put request_counter to conf()
|
2014-09-27 06:08:55 +02:00 |
|
urlbot
|
2714858b1e
|
scope fixes; put uptime to conf()
|
2014-09-27 06:01:34 +02:00 |
|
urlbot
|
60285089fe
|
scope fixes; put hist_max_* to conf()
|
2014-09-27 05:56:39 +02:00 |
|
urlbot
|
294408c4fe
|
ratelimit fix/split up; bot_user fixes
|
2014-09-27 05:51:18 +02:00 |
|
urlbot
|
8a73625e3c
|
fixed stuff; dynamic plugin reg; debugging infrastructure
|
2014-09-27 05:32:35 +02:00 |
|
urlbot
|
798fb6d572
|
first try with plugins. untested, might crash
|
2014-09-27 03:41:29 +02:00 |
|