| commit | 7b1a98fc10fad516ef9ed0b3afc53a1d7be8a169 | [log] [tgz] |
|---|---|---|
| author | agresch <agresch@gmail.com> | Fri Oct 25 08:38:51 2019 -0500 |
| committer | GitHub <noreply@github.com> | Fri Oct 25 08:38:51 2019 -0500 |
| tree | b2047a91a289f61603917774c9c709a2a203cdb5 | |
| parent | 4fffbd9f54b96a17d6d9338b136b1501d2f75dff [diff] | |
| parent | 1bfb2e03e51a950ffedda1f2d1a6620ab4437d0b [diff] |
Merge pull request #3149 from Ethanlm/STORM-3527 [STORM-3527] getWorkerUser() should never return empty username