[Octave-bug-tracker] [bug #60122] Save and Run in editor does not always save

[Torsten Lilge]

Follow-up Comment #6, bug #60122 (project octave):

Would it be safer to check for the changed file timestamps after saving and
before running the file? This could be done by reading the file stat and
repeat this every 500 ms or so until the timestamp has changed or a timeout is
reached.

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?60122>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/