Allow to download provided pdb files

[GiovanniBussi]

(This was suggested by @mbernett).

We could improve the syntax highlighter to understand when a command points to a pdb file and upload also the pdb file so that users can see it by clicking on it (similarly to the way now one can see included files).

[maxbonomi]

Should we impose a file size limit for the pdb? Just not to make our rep explode Max

…

On Apr 23, 2019, at 01:04, Giovanni ***@***.***> wrote: (This was suggested by @mbernett). We could improve the syntax highlighter to understand when a command points to a pdb file and upload also the pdb file so that users can see it by clicking on it (similarly to the way now one can see included files). — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

[GiovanniBussi]

That's true (and in principle true also for input file and, most likely, for stdout files). I will check if we can store them gzipped. And we can additionally put a cap on the size of individual files to be stored on the server.

[maxbonomi]

Great!

…

On Apr 23, 2019, at 08:32, Giovanni ***@***.***> wrote: That's true (and in principle true also for input file and, most likely, for stdout files). I will check if we can store them gzipped. And we can additionally put a cap on the size of individual files to be stored on the server. — You are receiving this because you commented. Reply to this email directly, view it on GitHub, or mute the thread.

[GiovanniBussi]

changed browse to download in the issue name. Actually we might make available the gzipped pdb files.