Mario, I agree. The solution to this would be an external monitoring process and an internal responder. I looked at process-watcher / monitor that look promising as concepts.
See: https://github.com/yahoo/process-watcher On Mon, May 25, 2015 at 2:16 PM, PMario <pmari...@gmail.com> wrote: > I found a tool [1], that may have, the concept, that we need. ... but > still more overhead as we want. > TW already traverses all directories at startup, but it doesn't maintain > additional events, that tell us, that something has changed outside the > server. > > Watch itself can't be used with TW since it has the wrong license. > > -m > > https://github.com/mikeal/watch/blob/master/main.js > > -- > You received this message because you are subscribed to a topic in the > Google Groups "TiddlyWiki" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/tiddlywiki/UIudjLqCrVw/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > tiddlywiki+unsubscr...@googlegroups.com. > To post to this group, send email to tiddlywiki@googlegroups.com. > Visit this group at http://groups.google.com/group/tiddlywiki. > To view this discussion on the web visit > https://groups.google.com/d/msgid/tiddlywiki/c09f22f5-20e7-4cb6-b48d-5ee9738dd446%40googlegroups.com > <https://groups.google.com/d/msgid/tiddlywiki/c09f22f5-20e7-4cb6-b48d-5ee9738dd446%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to tiddlywiki+unsubscr...@googlegroups.com. To post to this group, send email to tiddlywiki@googlegroups.com. Visit this group at http://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/CAJTVA-SO5d01zRbJ_MbU-R5L%3DVmB9f8B_%2B%2B4MAmJ_sbnaGSCtA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
