|
1
|
function scr_flag_getscr_flag_get
function scr_flag_get(arg0)
{
var flag_value = global.flag[arg0];
return flag_value;
}
function scr_flag_name_get(arg0)
{
if (!global.is_console)
{
var v = global.flagname[arg0];
return is_undefined(v) ? "*unknown flag*" : v;
}
else
{
return "";
}
}
function scr_getflag(arg0)
{
return scr_flag_get(arg0);
}
(arg0)
|
|
2
|
{
|
|
3
|
var flag_value = global.flag[arg0];
|
|
4
|
return flag_value;
|
|
5
|
}
|
|
6
|
|
|
7
|
function scr_flag_name_get(arg0)
|
|
8
|
{
|
|
9
|
if (!global.is_console)
|
|
10
|
{
|
|
11
|
var v = global.flagname[arg0];
|
|
12
|
return is_undefined(v) ? "*unknown flag*" : v;
|
|
13
|
}
|
|
14
|
else
|
|
15
|
{
|
|
16
|
return "";
|
|
17
|
}
|
|
18
|
}
|
|
19
|
|
|
20
|
function scr_getflag(arg0)
|
|
21
|
{
|
|
22
|
return scr_flag_getscr_flag_get
function scr_flag_get(arg0)
{
var flag_value = global.flag[arg0];
return flag_value;
}
function scr_flag_name_get(arg0)
{
if (!global.is_console)
{
var v = global.flagname[arg0];
return is_undefined(v) ? "*unknown flag*" : v;
}
else
{
return "";
}
}
function scr_getflag(arg0)
{
return scr_flag_get(arg0);
}
(arg0);
|
|
23
|
}
|