##// END OF EJS Templates
Add key "unique" to history_request protocol
Takafumi Arakaki -
Show More
@@ -504,9 +504,10 b' class Kernel(Configurable):'
504
504
505 elif hist_access_type == 'search':
505 elif hist_access_type == 'search':
506 n = parent['content'].get('n')
506 n = parent['content'].get('n')
507 unique = parent['content'].get('unique')
507 pattern = parent['content']['pattern']
508 pattern = parent['content']['pattern']
508 hist = self.shell.history_manager.search(pattern, raw=raw,
509 hist = self.shell.history_manager.search(
509 output=output, n=n)
510 pattern, raw=raw, output=output, n=n, unique=unique)
510
511
511 else:
512 else:
512 hist = []
513 hist = []
General Comments 0
You need to be logged in to leave comments. Login now