(self, shell)
| 180 | """ |
| 181 | |
| 182 | def __init__(self, shell): |
| 183 | super(ExecutionMagics, self).__init__(shell) |
| 184 | if profile is None: |
| 185 | self.prun = self.profile_missing_notice |
| 186 | # Default execution function used to actually run user code. |
| 187 | self.default_runner = None |
| 188 | |
| 189 | def profile_missing_notice(self, *args, **kwargs): |
| 190 | error("""\ |