830 ] |
830 ] |
831 ), |
831 ), |
832 "stat_ = __os_.statvfs('/flash')", |
832 "stat_ = __os_.statvfs('/flash')", |
833 "res['flash_total_kb'] = stat_[2] * stat_[0] / 1024.0", |
833 "res['flash_total_kb'] = stat_[2] * stat_[0] / 1024.0", |
834 "res['flash_free_kb'] = stat_[3] * stat_[0] / 1024.0", |
834 "res['flash_free_kb'] = stat_[3] * stat_[0] / 1024.0", |
835 "res['flash_used_kb'] = res['flash_total_kb'] -" " res['flash_free_kb']", |
835 "res['flash_used_kb'] = res['flash_total_kb'] - res['flash_free_kb']", |
836 "res['flash_free_pc'] = res['flash_free_kb'] /" |
836 "res['flash_free_pc'] = res['flash_free_kb'] /" |
837 " res['flash_total_kb'] * 100.0", |
837 " res['flash_total_kb'] * 100.0", |
838 "res['flash_used_pc'] = res['flash_used_kb'] /" |
838 "res['flash_used_pc'] = res['flash_used_kb'] /" |
839 " res['flash_total_kb'] * 100.0", |
839 " res['flash_total_kb'] * 100.0", |
840 "\n".join( |
840 "\n".join( |