diff options
| author | Fredrik Gustafsson <[email protected]> | 2012-08-28 09:07:55 +0200 |
|---|---|---|
| committer | Fredrik Gustafsson <[email protected]> | 2012-08-28 09:07:55 +0200 |
| commit | b738eab037f65e24a455b18c08725812d4413375 (patch) | |
| tree | e44984eeafea8a1d4f1371f213baecbf929dfb7c /lib/dialyzer/src/dialyzer_coordinator.erl | |
| parent | fc0810e88f780092f009fef43fc525c958981770 (diff) | |
| parent | 4b4201f18b37c039eb665213289262e46d0f8f7e (diff) | |
| download | otp-b738eab037f65e24a455b18c08725812d4413375.tar.gz otp-b738eab037f65e24a455b18c08725812d4413375.tar.bz2 otp-b738eab037f65e24a455b18c08725812d4413375.zip | |
Merge branch 'maint'
Diffstat (limited to 'lib/dialyzer/src/dialyzer_coordinator.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_coordinator.erl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_coordinator.erl b/lib/dialyzer/src/dialyzer_coordinator.erl index 5719132215..28dcf098af 100644 --- a/lib/dialyzer/src/dialyzer_coordinator.erl +++ b/lib/dialyzer/src/dialyzer_coordinator.erl @@ -116,7 +116,7 @@ spawn_jobs(Mode, Jobs, InitData, Timing) -> fun(Job, Count) -> Pid = dialyzer_worker:launch(Mode, Job, InitData, Coordinator), case TypesigOrDataflow of - true -> true = ets:insert(SCCtoPID, {Job, Pid}); + true -> true = ets:insert(SCCtoPID, {Job, Pid}), ok; false -> request_activation(Regulator, Pid) end, Count + 1 @@ -217,7 +217,8 @@ request_activation({_Collector, Regulator, _SCCtoPID}) -> wait_activation(). request_activation(Regulator, Pid) -> - Regulator ! {req, Pid}. + Regulator ! {req, Pid}, + ok. spawn_regulator() -> InitTickets = dialyzer_utils:parallelism(), |