0548aad44b5138ea0bbc96ef8964b986bebcb589,lib/streamlit/watcher/EventBasedFileWatcher.py,_FolderEventHandler,add_file_change_listener,#_FolderEventHandler#Any#Any#,212

Before Change

        callback : Callable

        
        if file_path in self._watched_files:
            LOGGER.debug("Already watching file: %s", file_path)
            return

        md5 = util.calc_md5_with_blocking_retries(file_path)
        modification_time = os.stat(file_path).st_mtime

        self._watched_files[file_path] = WatchedFile(

After Change

        
        with self._lock:
            watched_file = self._watched_files.get(file_path, None)
            if watched_file is None:
                md5 = util.calc_md5_with_blocking_retries(file_path)
                modification_time = os.stat(file_path).st_mtime
                watched_file = WatchedFile(
                    md5=md5, modification_time=modification_time)
                self._watched_files[file_path] = watched_file

            watched_file.on_file_changed.connect(callback, weak=False)

    def remove_file_change_listener(self, file_path, callback):
        Remove a file from this object"s event filter.

Instances