>>  <<  Usr  Pri  JfC  LJ  Phr  Dic  Voc  !:  Help  User

This script defines android utilities and is included in the J standard library. Definitions are loaded into the z locale.

Definitions

A anddf, andunzip

anddf (verb)

Download a file via android's embedded http client overwriting target file.

Example

'http://www.jsoftware.com/moin_static180/common/jwlogo.png' anddf jpath'~temp/jwlogo.png'

Syntax

x anddf y

returns:

>=0 success, number of bytes in file
 _1 unknown error
 _2 target file exists and is not writable
 _3 parent directory is not writable
 _5 malformed url
 _6 i/o exception during transport
 _99 web request returns invalid '0' status code
<= _100 negation of unsuccessful http response code (!=200), ie. _404 "Not Found"

andunzip (verb)

Monadically, it unzips the file at y into the same directory.

Optional x may specify an alternate output directory

Syntax

andunzip y ; x andunzip y

returns:

 0 success
_1 generic i/o error
_2 zipfile not found
_3 output directory not writable
_4 zip format exception


>>  <<  Usr  Pri  JfC  LJ  Phr  Dic  Voc  !:  Help  User