diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-10-01 14:50:17 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-10-01 14:50:17 (GMT) |
commit | 01de8531d06e51a9c540e557faf7dfccbf46e59d (patch) | |
tree | 8b360324f229205fbdba9ca022061e2c4c0106fb /pylint.sh | |
parent | f0afda2e306ee50e5a486a9e804fefa43e84c8e3 (diff) |
Make sure the shell service is started up before trying
to open the journal.
Diffstat (limited to 'pylint.sh')
0 files changed, 0 insertions, 0 deletions