gjs Gio#read_finish() Operation not supported - then how to get a web page?

[sduc gamilcairo <sduclos cairo gmail com>]

Hi,

>From gnome-shell I can call:

let file = Gio.file_new_for_uri(uri);

and then

file.read_async(0, null, function(source, result) {let stream =
source.read_finish(result); });


But then gjs say that read_finish() is not supported


So I wounder what is the trick to download web page ?

I can't find any hints from reading the code in:
~/gnome-shell/source/gnome-shell/tests/interactive
or
~/gnome-shell/source/gnome-shell/js/ui


Example from seed using the call read_finish() work though.


thanks,

Sylvain.