tools.anubis
1.82 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
/*
* Created by PyramIDE.
* User: フランスのトトロ
* Date: 17/05/2015
* Time: 01:27
* © Calexium
*/
transmit tools/basis.anubis
transmit system/string.anubis
define Maybe(String)
day_name
(
Int day_num
)=
if day_num = 1 then success("Mon")
else if day_num = 2 then success("Tue")
else if day_num = 3 then success("Wed")
else if day_num = 4 then success("Thu")
else if day_num = 5 then success("Fri")
else if day_num = 6 then success("Sat")
else if day_num = 7 then success("Sun")
else failure
.
define Maybe(String)
month_name
(
Int month_num
)=
if month_num = 1 then success("Jan")
else if month_num = 2 then success("Feb")
else if month_num = 3 then success("Mar")
else if month_num = 4 then success("Apr")
else if month_num = 5 then success("May")
else if month_num = 6 then success("Jun")
else if month_num = 7 then success("Jul")
else if month_num = 8 then success("Aug")
else if month_num = 9 then success("Sep")
else if month_num = 10 then success("Oct")
else if month_num = 11 then success("Nov")
else if month_num = 12 then success("Dec")
else failure
.
public define String
str_utime_send_mail
(
UTime t
) =
with date_send = convert_time(t.seconds),
if day_name(date_send.week_day) is
{
failure then "",
success(the_day_name) then the_day_name + ", "
}+
date_send.day + " " +
if month_name(date_send.month) is
{
failure then to_decimal(date_send.month),
success(the_month_name) then the_month_name
}+ " " +
date_send.year + " " +
zero_pad_n(2, date_send.hour) + ":" + zero_pad_n(2, date_send.minute) + ":" + zero_pad_n(2, date_send.second)
//+ " +0000"
.
public define String
get_rfc822_date_format
=
str_utime_send_mail(unow).