hredirect - synonym of hrefresh [1022082]

15
LINES

< > BotCompany Repo | #1022082 // hredirect - synonym of hrefresh

JavaX fragment (include)

static S hredirect(S target) {
  ret hrefresh(target);
}



static S hredirect(double seconds) {
  ret hrefresh(seconds);
}



static S hredirect(double seconds, S target) {
  ret hrefresh(seconds, target);
}

download show line numbers debug dex old transpilations

Travelled to 7 computer(s): bhatertpkbcr, cfunsshuasjs, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt

No comments. add comment

Snippet ID:	#1022082
Snippet name:	hredirect - synonym of hrefresh
Eternal ID of this version:	#1022082/1
Text MD5:	1cdda70dc04c54d63740a4f3c195c2c3
Author:	stefan
Category:
Type:	JavaX fragment (include)
Public (visible to everyone):	Yes
Archived (hidden from active list):	No
Created/modified:	2019-03-07 13:55:46
Source code size:	212 bytes / 15 lines
Pitched / IR pitched:	No / No
Views / Downloads:	178 / 209
Referenced in:	[show references]

1	static S hredirect(S target) {
2	ret hrefresh(target);
3	}
4
5
6
7	static S hredirect(double seconds) {
8	ret hrefresh(seconds);
9	}
10
11
12
13	static S hredirect(double seconds, S target) {
14	ret hrefresh(seconds, target);
15	}