Extracted from Pike v7.4 release 35 at 2003-12-09.
[Top]
predef::
spider
_dump_obj_table()
_low_program_name()
discdate()
fd_info()
get_all_active_fds()
parse_accessed_database()
parse_html()
parse_html_lines()
parse_xml()
set_end_quote()
set_start_quote()
stardate()
spider.set_start_quote()
__parse_pike_type()
Method spider.stardate()
Method
stardate
string
spider.
stardate
(
int
time
,
int
precision
)