1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright

--- 316 unchanged lines hidden (view full) ---

325
326void
327Scheduler::runDelta()
328{
329 status(StatusDelta);
330
331 try {
332 while (!deltas.empty())
333 deltas.front()->run();
334 } catch (...) {
335 throwToScMain();
336 }
337}
338
339void
340Scheduler::pause()
341{

--- 155 unchanged lines hidden ---