Open
Description
Ideally, jaguar should report an error to 'jag run' when the image size of the toit program exceeds the available space on the 'programs' partition.
For now, the trace looks like this (in 1.0.7):
Class 'Null_' does not have any method 'write'.
0: ProgramManager.write.<block> <jag_src>/jaguar/src/programs.toit:59:15
1: List.chunk_up <sdk>/core/collections.toit:766:12
2: ProgramManager.write <jag_src>/jaguar/src/programs.toit:58:9
3: install_program.<block>.<block> <jag_src>/jaguar/src/jaguar.toit:137:15
4: Mutex.do.<block> <sdk>/monitor.toit:24:27
5: __Monitor__.locked_.<block> <sdk>/core/monitor_impl.toit:80:12
6: __Monitor__.locked_ <sdk>/core/monitor_impl.toit:75:3
7: Mutex.do <sdk>/monitor.toit:24:3
8: install_program.<block> <jag_src>/jaguar/src/jaguar.toit:130:43
9: Task_.with_deadline_.<block> <sdk>/core/task.toit:79:21
10: Task_.with_deadline_ <sdk>/core/task.toit:73:3
11: with_timeout <sdk>/core/utils.toit:172:15
12: with_timeout <sdk>/core/utils.toit:164:10
13: install_program <jag_src>/jaguar/src/jaguar.toit:130:3
14: serve_incoming_requests.<lambda> <jag_src>/jaguar/src/jaguar.toit:183:7
15: Server.run_connection_.<block> <pkg:pkg-http>/server.toit:85:17
16: catch.<block> <sdk>/core/exceptions.toit:114:10
17: catch <sdk>/core/exceptions.toit:112:1
18: catch <sdk>/core/exceptions.toit:87:10
19: Server.run_connection_ <pkg:pkg-http>/server.toit:84:7
20: Server.listen.<lambda>.<block>.<block> <pkg:pkg-http>/server.toit:66:24
21: catch.<block> <sdk>/core/exceptions.toit:114:10
22: catch <sdk>/core/exceptions.toit:112:1
23: catch <sdk>/core/exceptions.toit:63:10
24: Server.listen.<lambda>.<block> <pkg:pkg-http>/server.toit:65:16
25: Server.listen.<lambda> <pkg:pkg-http>/server.toit:52:24