 Ulf Wiger
|
e1b4d3cb7c
fix deletion of reverse-map entry
|
9 years ago |
|
Ulf Wiger
|
6ae40f382d
also delete reverse mapping (delete_globals())
|
9 years ago |
|
Ulf Wiger
|
0062f448e8
function_clause in delete_globals
|
9 years ago |
|
Ulf Wiger
|
6b1601de7b
Merge pull request #110 from uwiger/uw-claim-wrapper
|
9 years ago |
|
Ulf Wiger
|
58c9c3ad42
release claim even if claimant killed
|
9 years ago |
|
Ulf Wiger
|
85d8dddf2b
re-generated docs
|
9 years ago |
|
Ulf Wiger
|
ad62d6739d
Merge pull request #103 from uwiger/uw-reg_other
|
9 years ago |
|
Ulf Wiger
|
133924157d
re-generate docs
|
9 years ago |
|
Ulf Wiger
|
3782a43318
Merge pull request #104 from remiq/doc_hex
|
9 years ago |
|
Remigiusz Jackowski
|
f2490cb7b3
Added hex badge to doc/overview.edoc
|
9 years ago |
|
Remigiusz Jackowski
|
d699f56674
Added hex.pm badge
|
9 years ago |
|
Ulf Wiger
|
361208a5fb
added reg_other(), unreg_other() + test cases
|
9 years ago |
|
Ulf Wiger
|
4c55ba64e1
Merge pull request #100 from byaruhaf/patch-1
|
9 years ago |
|
Byaruhanga Franklin
|
d279228d20
Updated gproc.app.src
|
9 years ago |
|
Ulf Wiger
|
2b1b9ac870
re-generated docs
|
9 years ago |
|
Ulf Wiger
|
981fab2e99
Merge pull request #95 from uwiger/uw-resource-counts
|
9 years ago |
|
Ulf Wiger
|
6c0ab17fdb
Resources & resource_counters work in both scopes (test cases added)
|
9 years ago |
|
Ulf Wiger
|
e455e1e8ca
typo in cross-module call
|
10 years ago |
|
Ulf Wiger
|
f22155521f
w.i.p. Add resource counting entries
|
10 years ago |
|
Ulf Wiger
|
03af3660db
support awaiting aggr ctrs + minor optimizations
|
10 years ago |
|
Ulf Wiger
|
509be53f08
Merge pull request #81 from uwiger/uw-fix-info-monitor
|
10 years ago |
|
Ulf Wiger
|
ab47f0ccfa
Merge pull request #92 from suexcxine/patch-1
|
10 years ago |
|
suexcxine
|
8c6129ebe6
Update gproc.erl
|
10 years ago |
|
Ulf Wiger
|
68c9e5d8c2
Merge pull request #89 from uwiger/uw-delete-global-props
|
10 years ago |
|
Ulf Wiger
|
c14ceec07f
replication of prop deletes buggy
|
10 years ago |
|
Ulf Wiger
|
7655bddc43
Merge pull request #86 from uwiger/uw-pool-fixes
|
10 years ago |
|
Ulf Wiger
|
d5443b97d6
optimizations; make claim/2 pass on the pid
|
10 years ago |
|
Ulf Wiger
|
36b348a6cc
various fixes to gproc_pool
|
10 years ago |
|
Ulf Wiger
|
fa53703a72
Note that gproc must be running
|
10 years ago |
|
Ulf Wiger
|
84b58ab3ee
faulty overwrite of rev map
|
10 years ago |
