5 string timed_read(file f, int timeout) {
6 thread reader = fork func() {
9 } catch Thread::signal(int i) {
14 thread killer = fork func() {
17 Thread::send_signal(reader, 1);
18 } catch Thread::signal(int i) {
23 poly v = Thread::join(reader);
24 Thread::send_signal(killer, 1);
31 void flush_input(file f) {
33 string s = timed_read(f, 200);
39 string[*] settings(file f) {
43 fprintf (f, "c s\nv\n");
46 string l = File::fgets(f);
48 if (String::index(l, "software-version") == 0)
54 string[*] find_setting(string[*] s, string match) {
55 for (int i = 0; i < dim(s); i++)
56 if (String::index(s[i], match) == 0)
57 return String::wordsplit(s[i], " ");
58 return (string[*]) {};
61 string[*] flash(file f) {
65 fprintf (f, "f\nv\n");
68 string l = File::fgets(f);
70 if (String::index(l, "software-version") == 0)
76 string[*] find_flash(string[*] s, string match) {
77 for (int i = 0; i < dim(s); i++)
78 if (String::index(s[i], match) >= 0)
79 return String::wordsplit(s[i], " ");
80 return (string[*]) {};
84 do_flash(file f, int expected_size) {
85 string[*] i = flash(f);
86 string[*] size = find_flash(i, "Storage size:");
87 string[*] erase = find_flash(i, "Storage erase unit:");
89 int actual_size = string_to_integer(size[2]);
91 if (actual_size != expected_size) {
92 printf ("weird flash size %d != %d\n", actual_size, expected_size);
96 int actual_erase = string_to_integer(erase[3]);
98 if (actual_erase != 65536) {
99 printf ("weird erase size %d\n", actual_erase);
103 printf ("flash size %d erase block %d\n", actual_size, actual_erase);
109 string name = argv[1];
110 string size = argv[2];
111 file f = open(name, "r+");
114 if (!do_flash(f, string_to_integer(size)))