mirror of https://github.com/KLayout/klayout.git
Added process_event for DRC log - makes progress log more useful.
This commit is contained in:
parent
ea3bfabd90
commit
f7fa6d8289
|
|
@ -545,6 +545,7 @@ module DRC
|
||||||
else
|
else
|
||||||
str = (" " * indent) + arg
|
str = (" " * indent) + arg
|
||||||
RBA::Logger::log(str)
|
RBA::Logger::log(str)
|
||||||
|
self._process_events
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
|
|
@ -563,6 +564,7 @@ module DRC
|
||||||
@log_file.puts(str)
|
@log_file.puts(str)
|
||||||
else
|
else
|
||||||
RBA::Logger::info(str)
|
RBA::Logger::info(str)
|
||||||
|
self._process_events
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
|
|
@ -577,6 +579,7 @@ module DRC
|
||||||
@log_file.puts("ERROR: " + arg)
|
@log_file.puts("ERROR: " + arg)
|
||||||
else
|
else
|
||||||
RBA::Logger::error(arg)
|
RBA::Logger::error(arg)
|
||||||
|
self._process_events
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
|
|
@ -591,6 +594,7 @@ module DRC
|
||||||
@log_file.puts("WARNING: " + arg)
|
@log_file.puts("WARNING: " + arg)
|
||||||
else
|
else
|
||||||
RBA::Logger::warn(arg)
|
RBA::Logger::warn(arg)
|
||||||
|
self._process_events
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
|
|
@ -1988,6 +1992,7 @@ CODE
|
||||||
|
|
||||||
t = RBA::Timer::new
|
t = RBA::Timer::new
|
||||||
t.start
|
t.start
|
||||||
|
self._process_events
|
||||||
GC.start # force a garbage collection before the operation to free unused memory
|
GC.start # force a garbage collection before the operation to free unused memory
|
||||||
res = yield
|
res = yield
|
||||||
t.stop
|
t.stop
|
||||||
|
|
@ -2554,6 +2559,12 @@ CODE
|
||||||
@used_output_layers[li] = true
|
@used_output_layers[li] = true
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
|
def _process_events
|
||||||
|
if RBA::Application.instance
|
||||||
|
RBA::Application.instance.process_events
|
||||||
|
end
|
||||||
|
end
|
||||||
|
|
||||||
private
|
private
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue