drive manager for clustered

This commit is contained in:
minjaesong
2023-05-15 01:48:42 +09:00
parent 3ab09de8db
commit 16b3742973
3 changed files with 64 additions and 2 deletions

View File

@@ -810,7 +810,7 @@ shell.execute = function(line) {
}
shell.pipes = {} // syntax: _G.shell.pipes[name] = contents; all pipes are named pipes just like in Windows
shell.currentlyActivePipes = [] // Queue of pipe's names. Use shell.removePipe() to dequeue and shell.pushPipe() to enqueue.
shell._rndstr = '0123456789+qwfpgjluyarstdhneiozxcvbkm/QWFPGJLUYARSTDHNEIOZXCVBKM'
shell._rndstr = '0123456789+qwfpgjluyarstdhneiozxcvbkm&QWFPGJLUYARSTDHNEIOZXCVBKM'
shell.generateAnonPipeName = function() {
let name = ''
while (true) {