urlToFileOpt - convert file URL to File if possible (otherwise return null) [1035066]

6
LINES

< > BotCompany Repo | #1035066 // urlToFileOpt - convert file URL to File if possible (otherwise return null)

static File urlToFileOpt(S url) {
  if (isFileURL(url))
    ret urlToFile(url);
  else
    null;
}

Began life as a copy of #1033451

Travelled to 3 computer(s): bhatertpkbcr, mowyntqkapby, mqqgnosmbjvj

No comments. add comment

Snippet ID:	#1035066
Snippet name:	urlToFileOpt - convert file URL to File if possible (otherwise return null)
Eternal ID of this version:	#1035066/1
Text MD5:	f758d098dbf30786c141b79e8612fe1c
Transpilation MD5:	5d648204ac007cefad59b1386e00d509
Author:	stefan
Category:	javax
Type:	JavaX fragment (include)
Public (visible to everyone):	Yes
Archived (hidden from active list):	No
Created/modified:	2022-03-28 15:12:54
Source code size:	103 bytes / 6 lines
Pitched / IR pitched:	No / No
Views / Downloads:	134 / 193
Referenced in:	[show references]

1	static File urlToFileOpt(S url) {
2	if (isFileURL(url))
3	ret urlToFile(url);
4	else
5	null;
6	}