| Revision 4,
351 bytes
checked in by ajaworski, 13 years ago
(diff) |
|
Added modified SAGE sources
|
-
Property svn:executable set to
*
|
| Line | |
|---|
| 1 | #!/usr/bin/python |
|---|
| 2 | |
|---|
| 3 | ### script that kills the FileServer running at the optionally specified port |
|---|
| 4 | ### this is useful when the FileServer was started by someone else |
|---|
| 5 | ### but you don't have the permissions to kill it |
|---|
| 6 | |
|---|
| 7 | import xmlrpclib, sys |
|---|
| 8 | port = str(8800) |
|---|
| 9 | if len(sys.argv) > 1: port = sys.argv[1] |
|---|
| 10 | xmlrpclib.ServerProxy("http://localhost:"+port).Quit(1) |
|---|
Note: See
TracBrowser
for help on using the repository browser.
