Diffusion Isabelle 14782d58a503

more generous timeout default (see also jEdit/FTP);
14782d58a503
Actions

Tags

None

Subscribers

None

Description

more generous timeout default (see also jEdit/FTP);

Details

Provenance

Authored on

Parents

rISABELLE42bcd207598d: connect session by default;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLEdbafa8d688fb: discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503)….Sep 15 2022, 9:46 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE14782d58a503

src/Pure/General/ssh.scala

Loading...