← Back to branch summary

~gma500/+junk/emgd-sys-tools

« back to all changes in this revision

Viewing changes to src/emgd-sys-resman.py

  • Committer: Thomas-Karl Pietrowski
  • Date: 2011-09-09 15:07:38 UTC
  • Revision ID: thopiekar@googlemail.com-20110909150738-sf85wv9803ivrbwx
* added file closing..

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/emgd-sys-resman.py
42
42
        print "* Option <%s> not supported!" %(argv[1])
43
43
elif len(argv) == 2:
44
44
    if argv[1] == "rm":
45
 
        if True:#os.path.isfile(grubfile):
 
45
        if os.path.isfile(grubfile):
46
46
            try:
47
47
                os.remove(grubfile)
48
48
            except OSError: