##// END OF EJS Templates
set profile name from profile_dir...
MinRK -
Show More
@@ -322,6 +322,10 b' class BaseIPythonApplication(Application):'
322 self.exit(1)
322 self.exit(1)
323 else:
323 else:
324 self.log.info("Using existing profile dir: %r"%location)
324 self.log.info("Using existing profile dir: %r"%location)
325 # if profile_dir is specified explicitly, set profile name
326 dir_name = os.path.basename(p.location)
327 if dir_name.startswith('profile_'):
328 self.profile = dir_name[8:]
325
329
326 self.profile_dir = p
330 self.profile_dir = p
327 self.config_file_paths.append(p.location)
331 self.config_file_paths.append(p.location)
General Comments 0
You need to be logged in to leave comments. Login now