inotify TODO

pull/1054/head
Alexander Medvednikov 2019-07-07 22:04:41 +02:00
parent de8dc4cddb
commit 7fed451226
1 changed files with 2 additions and 1 deletions

View File

@ -399,6 +399,7 @@ int load_so(byteptr path) {
void reload_so() { void reload_so() {
int last = 0; int last = 0;
while (1) { while (1) {
// TODO use inotify
int now = os__file_last_mod_unix(tos2("$file")); int now = os__file_last_mod_unix(tos2("$file"));
if (now != last) { if (now != last) {
//v -o bounce -shared bounce.v //v -o bounce -shared bounce.v
@ -406,7 +407,7 @@ void reload_so() {
last = now; last = now;
load_so("$so_name"); load_so("$so_name");
} }
time__sleep_ms(1000); time__sleep_ms(500);
} }
} }
' ) ' )